Prove all things

Author