(9.17.9.11.14, 3 Ix 2 Yax).