For all
Redirect to:
Universal quantification