It used local transformations to simplify logic.
它使用了局部的变形来简化逻辑。