end of 11.1.3