Simplify Definiendum