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