( Se avsnitt 4.5.2 . )