TY - RPRT TI - A Unified Theorem of the Alternative AU - Ian Ball PY - 2023 UR - https://arxiv.org/abs/2303.07471 ID - 2303.07471 ER -