How to prove all things