ByNobleID
    The \Gamma-Ultraproduct and Averageable Classes | NobleID