Weber, Z. True, Untrue, Valid, Invalid, Provable, Unprovable. LLP 2024, 34, 703-731.