6.7.4.