Choose the correct alternative: If p → q is an implication, then the implication ~q → ~p is called its