713 Logic
: Generalization On Constants
(21/90)
(21/90)