nonsense, notes, proofing override, and gold semantics