Added →-contrapositive.