6.3.1: