16 Sep
2023
16 Sep
'23
9 p.m.
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.