Vi har ovan under avsnitt 7.3.1 .