the implication in Models