This is a proposition which takes the form of asserting with regard to one particular property, namely, that any term which possesses that property also possesses another namely the one expressed by saying that is internal to it.