Continue to /en/tasks/tao-decomposition-prover-validate-system-migration-logic