fix forall