(def a true)