A1forall