Added new examples by John Hatcliff.