@cbokhove I originally had "quad error demonstrandum" but thought that was too far. Interesting that's the one mistake you picked up on...