HasProperty
真理