I föreliggande fall antager man,