refine Chap.4.4.4
refine Chap.4.4.5
refine Chap.4.4.6