Den behandlas i avsnitt 7.2 och 8.3.3 .