https://www.chriscorrigan.com/parkinglot/the-principle-of-non-contradiction/