started adding generators to forall