Om denna punkt antages här,