Closer to forall