If the conditional statement is true, then the ________________ is also logically true.