class Forall