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