Infinite Negative Utility: Proofs and Programs and Rhetoric https://blog.infinitenegativeutility.com/2017/11/proofs-and-programs-and-rhetoric