How do we know that there exists only one thing that is opposite to another thing? For example, if you are composing an indirect proof, you would take the "then" statement and use its opposite to prove that the "if" statement is in fact true. But, what if there is a case where there are multiple statements that are opposite to one statement? How do we know there isn't such a case? How do you prove there is only one opposite to something?