15.9.2.3 Implementation