Detta görs i avsnitt 9.4.4 .