refine Chapter 4.4.2.6