Some notes about def vs. defn