Implement 4.1.7's examples (in progress)