713 Logic
: Substitution
(15/90)
(15/90)