Implement ch4.3's examples