6.4.3: