Om man nu antogc,