Grimshaw, M. Arthur Prior: A Calvinist Route to Logic. LogicPhilTime 2023, 5.