5.4-5.5, due on October 1

DIFFICULT
Existence statements do not seem as complicated as proofs involving sets with various set operators. These existence proofs look very familiar to counterexamples, especially section 5.5.  I think the only difficult thing of this reading block would be the LaTeX document that needs to be prepared, and LaTeX is getting easier to use.  Sections 5.4 and 5.5 seem intuitive.

REFLECTIVE
As stated above existence proofs are very similar to using counterexamples.  Both these sections shouldn't be too different than what we've seen in the past.  They also shouldn't been much more complicated.