4.2a; 4.2c