 Consider, for example, theorem (1). Mally interpreted this theorem as follows: “if A requires B, then A requires everything that is the case” (Mally 1926, p. 20). He regarded this as a surprising claim, and we agree. However, Mally’s interpretation of (1) is not warranted. (1) only says that if A requires B, then A requires the Verum. The expression “if A requires B, then A requires everything that is the case” is to be formalized as