S. G. W. Speitel, “Logical Constants and Arithmetical Forms”, LLP, vol. 32, no. 3, pp. 495–510, Jun. 2023.