Weber, Z. True, Untrue, Valid, Invalid, Provable, Unprovable. LLP 2024, 1-29.