\/ as a forall