( Se avsnitt 7.1.2 . )