Proof+Checklist+3