forall version