[^(def)]