@forall: a