Proofs, proofs, and more proofs. Assignment 2 and Tuesday's tutorial have all but exhausted me and my doubts on how to write a proof. The most difficult obstacle to overcome was making a connection between assumptions and antecedent (if there is one) and rest of statement. Memorable connections such as manipulating polynomial expressions such as the question in this week's tutorial (put question here) to make the modified antecedent appear similar to the consequent, then using the nature of natural numbers to prove a variable in the consequent satisfies the domain assumption. Another approach that gave me a run for my money was 1.2 of assignment 2. My proof of the give statement (put statement here) was done not by manipulating the antecedent, but parts of the assumption (put assumptions involving natural number z and floor x <=  x) to produce a relationship between an inequality between an expression containing the consequent, and the antecedent (put inequality here).