Proof of my grammar OCD