9.3.4.2 a