https://also.kottke.org/06/02/modern-mathematical-proofs-are-so-complex-that