[NL2-NL10] 77 15.1.