Implement ch4.1.4's examples (in progress)