We have seen how to prove some statements in the form of implications: either directly or by contrapositive. Some statements are not written as implications to begin with.