(14) and (15) are the same. need 2.4.4.
(17) and (18) are the same.
(19) and (20) are the same.
(35) and (36) are the same. need 4.1.2.
(40) and (41) are the same. need 4.3
(46) is not readable.
(48) and (49) are the same. need 5.2.
(51) and (52) are the same, need 5.3.2
