((1 (:hi)))