the statement "if X then Y" is equivalent to its contrapositive, "if not-Y then not-X".
Other options:
no subject