| (Slogan) | Something belongs to the essence of an (some) item(s) if and only if it follows from each real definition of that item (those items) |
| (Definitional Unity) | Suppose q is such that Pq where T(s,P). Then there is some Q such that (i) T(s,Q); and (ii) whenever I are some indefinables such that q is in the closure of I under ⪰ then there is some proposition r in the closure of I under ⪰ and some property R such that T(Q,R) and Rr |
| (Definitional Internality) | Suppose that  . Then it follows from any definition of s and any definitions of the constituents in that |
