6.4.2: