Examine and Prove Me