You want to prove a theorem in a two-column proof. You start with your given statement and list deductions in the left-hand column. What are the three main types of reasoning you will use for reasons in the right-hand column?