18 with Proof 3