Clause Simplifier — x402gle