Vi återkommer till denna fråga i avsnitt 9.5.9 nedan .