§
Relationship between linearity and contradiction
https://xorshammer.com/2021/04/08/but-why-is-proof-by-contradiction-non-constructive/