Variables


Universal ("for all ...") and Existential ("there exists ...")

We've been using a restricted shorthand for each.