16.7.5.4