公式推导
precondition failed