Then Prove It!