Quote


Voting: - 0 +
... a really kinky semantics that would support the slickest proof rules.
— Bob Constable · Feb. 22, 1978