18 with Proof 2