reformatting for ex1.4 and ex1.6
clarify ex1.6
Dec 28: to ex1.12
Dec 30, to ex1.20