( Se mer om detta i avsnitt 9.4 ovan . )