TAG :直接推導