forall style