Simplify the spec