Om man sedan antager,