Rename according to model definition.

Factor out logical implication.