7.9.4.2 Implementations