DTR Ep 223: Flat Earth Proofs Revisited