One True Logic. tr 2022, 16 (1).