måste derföre antaga ,att