end of 11.2.4