1 逻辑检查 — Logic check