Add comment explaining why we special case defn