forall macro
fix multiple-ten's commment