alex lawsen (previously alexrjl) comments on Clarifying the Petrov Day Exercise