Vi behandlar detta förslag i avsnitt 9.5.4 .