 Suppose that every individual has the following conditional property: if he\(_x\) is a patient, then some individual is such that she\(_y\) is both a doctor and respected by him\(_x\). Then it follows—intuitively and given the rules of Frege’s logic—that every individual\(_x\) has the following conditional property: if he\(_x\) is both old and a patient, then some individual\(_y\) is such that she\(_y\) is both a doctor and respected by him\(_x\). So the proposition expressed with (16) follows from the one expressed with (15). More interestingly, we can also account for why the proposition expressed with (14) follows from the one expressed with (13).