Igen = Idefs + GRep