Extension_by_definitions