Hacker News Reader

> this is trivial to prove

Please don't forget to state the axioms before building the proof.

You can look up "prime mover aristotle" and "cogito descartes" if you're interested.