Z. Weber, “True, Untrue, Valid, Invalid, Provable, Unprovable”, LLP, vol. 34, no. 4, pp. 703–731, Jan. 2024.