OK! Now Prove It