Hacker News new | ask | show | jobs
by quickthrower2 1118 days ago
The tautologies are there straighten out the confusion that was in someones mind. Like invoking modus ponens.