在化简的过程中，约束项可以看作 或 。