if something cannot have a certain property then something else with that property is not that something
variable is thing. thing is substance. person is individual_unlike_other. else is river. thing is object. thing is entity. things is often_not. object is thing. property is object. things is property.