( Se vidare avsnitt 5.7.3 . )