Comment by keybrd-intrrpt

> the proof did not explain why

So humans do/did still have a role to play