simplify a definition