Vi föreslår i avsnitt 19.6.5 .