in def of G on morphisms
finished Y inhab