Calculus Students’ Deductive Reasoning and Strategies when Working with Abstract Propositions and Calculus Theorems