Add "forall" function