Streamlined redundant property.

Redefined a property in terms of another property, since that has
turned out to be the truth of the way they relate to each other.