Implemnet ch1.3.4's examples (in progress)