used = not . not . any (`notElem` special) . fst . derives