Speitel, S. G. W. Logical Constants and Arithmetical Forms. LLP 2023, 32, 495-510.