Proof set as pictured