“…Here we recall the construction of a certain space of non-commutative functions given as L 2 -limits of trace polynomials, uniformly over all noncommutative laws. Trace polynomials have been studied in many previous works such as [82,78,83,81,86,11,22,44,46,47,18]. The uniform L 2 -completion of trace polynomials was first introduced in [40,41,43], and its relationship with continuous model theory was addressed in [42, §3.5].…”