TAG: 前置条件