[mbrandonw]

I do address this, but in the exercises at the end. Decided to cut a discussion on intuitionistic logic.

[Chinjut]

My apologies; I don't know how I missed that. This obviates my original comment.