Detta beskrivs i avsnitt 5.8 och 11.5.7 .