Implement ch1.3.2's examples (in progress)