Czerniawski, J. Time and Physical Geometry. A Formalization of Putnam’s Proof. LLP 2019, 29, 97-114.