started working on forall