Om man också antager,