This property associates an in ...... ing the one implies the other.
@en