The philosophy of logical practice. (3rd April 2022)