Närmare överväganden finns i 9.4.3 .