We have now, therefore, got a short means of symbolising, with regard to any particular thing A and any particular property, the proposition that is internal to A in the second of the two senses distinguished on.