18 with Proof 4