add 12.7.4 a)