When Reasoning Meets Its Laws