18 with Proof 5