Problemet diskuteras närmare i avsnitt 7.5.4 .