up through equality; some holes in problems
added remaining exercises for the logic chapter
working on palindrome
jumping ahead a little;