revise section 4.2