The proposition, which I meant to call, but which I expressed before rather clumsily, can now be expressed by What we assert of, when we say, entails can be truly asserted of every relational property.