Fixed glitches in examples, streamlined the explanation.