Step 1 — Decompose: Break the current reasoning step into its core logical atomic units.
Step 2 — Conflict Check: Check if any unit explicitly violates the rules of the problem or previous derivations. Lack of detail is not a failure.
Step 3 — Verdict: * Invalid: One unit is logically impossible.
Valid: No units are explicitly incorrect.