Om man uppställer det antagandetatt