5.12.3 .