Simplify a spec