M. Tkaczyk, “Robert Trueman’s Defence of Higher-Order Logic”, LLP, vol. 33, no. 1, pp. 163–168, May 2023.