Övervägandena finns i 9.4.3 .