6.4.1: