§ Relationship between linearity and contradiction

• https://xorshammer.com/2021/04/08/but-why-is-proof-by-contradiction-non-constructive/