och om man antager,