3.94 a(2.17)