Om man nu antager,