missing σloop defn