Se vidare avsnitt 9.3.4 . ”