There is obviously some very important sense in which from the proposition that a thing is a right angle, it does follow that it is an angle, and from the proposition that a thing is red it does follow that it is coloured.