Definition:

implication