Revisions focused on the join table section
Revised recursion section
Revision to quantifiers section