Implement ch4.1.3's examples (in progress)
Implement ch4.1.3's examples