Pepean logic in full regalia

Rhetorical flourishes prove that (a =>b) <==> (not a =>not b) <==> (a =>not b) <==> (not a => b).