Comment by baq

That’s probably not interesting anymore, but 5.6 wasn’t able to name the conjecture when presented the notation only, but confirmed the proof and when told what it was, agreed it works. Much less psychosis than when given the Jacobian counterexample, at least.