Now, by P1, anything that is itself by itself is not in humans, and, by Separation, every form is itself by itself. Hence P1 and Separation entail that no form is in humans, i.e., that if Y is a form, then Y is not in humans. This result, taken together with P6, entails P7: