Z. Weber, “True, Untrue, Valid, Invalid, Provable, Unprovable”, LLP, pp. 1–29, Jan. 2024.