RR: change defn to def