Moved some of Jeff's material back into the examples and counterexamples section.