12.5.2 > 12.6.1