Add example Prove() function