( Se avsnitt 7.6.3 )