Detta behandlar vi i avsnitt 6.7.2 .