Prove all things