noting that these formulas begin wit ph a for-all-variable expression.
they are perhaps an assertion of truth for every given value of the
variable.

Reply via email to