Answer the following questions:
1. What is the postcondition for funcOne?

  ? <= return value <= ?
  
2. What is the postcondition for funcTwo?

  ? <= return value <= ?

3. What is the precondition for funfThree?

  ? <= return value <= ?
  
4. Explain whether or not the post condition is true for funcFour. You must explain what happen in both the if and else branches.


5. Find the loop invariants for all variables before, during, and after the loop.

6. Does funcSix correctly swap the locals a and b? Why or why not? Again, please explain why or why not with both the if and else conditions.