Added some 'to satisfy' examples (#82).