Men de måste med det formella antagandetaf