( Se även avsnitt 7.2.3 . )