Updated example with new prove environment.