Adding more sections
Fragment of a discussion from Course talk:CPSC522/Predicate Calculus
Sorry for just now getting back to you; there seem to be some interesting behaviours regarding these discussion threads and when they update.
The Resolution section is fine, thank you!