Invent_and_Simplify