StevenXClontz’s Twitter Archive—№ 3,857

@Calsophy @mathforge @katemath Ha, I did say "most", not "every". Most of the ones I see usually prove ~q→~p to show p+~q→(p^~p),