Replaced examples in section 5.3. Relates to #6.