We have now got everything which is required for expressing, in a short symbolic form, the proposition, with regard to a given thing A and a given relational property, which A in fact possesses, that is internal to.