Detta behandlas närmare i avsnitt 9.3.5 .