got a conditional - got an antecedent
need to get that consequent down - so I keep modus ponens around
got another conditional - a denial of the consequent
need denied antecedent today - its just one modus tollens away

CHORUS
the associative motion of parentheses
conjuncts and disjuncts commutate
simplification puts a conjunct on a line
addition adds disjuncts just great, so fine
double negation lets you add a couple tildes - or take them away
I'd really like to tell you how to join two conditionals