Proof examples with specifications in 2 styles