Vi har utvecklat detta närmare i avsnitt 6.9.3 .