Which of the following starts with a contradiction of what you are trying to prove?
a. contrapositive inference
b. direct proof
c. indirect proof
d. negation