Remove section 5.4.4, as it was redundant.