Som vi redan anfört i avsnitt 9.5.1 .