15.6.3.1