https://www.jdavidstark.com/logical-impossibility-in-ecm/