end of 6.2.2