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