Implement ch1.3.1's examples