Enligt vår uppfattning borde de tre första meningarna i avsnitt 4.3 nionde stycket därför lyda : ”