What is the definition of implication?