Hacker News new | ask | show | jobs
by seesawtron 789 days ago
A -> B is same as ~B -> ~A