Proof Stories Example