Hacker News new | ask | show | jobs
by rurban 383 days ago
He should have really used the good ol' QED instead, lol