Ref.defns => Ref.alts, +Ref.defn