Tighten `hasProperty` mismatch to read better, eliminating term "property" since it may or may not be a property