[see also: talk
Roughly speaking, we shall produce a synthesis of index theory with Fourier analysis.
Hence, although the topology of reducts of A is uniformly controlled, so to speak, by that of A, the model theory of the reducts can be much wilder.
Strictly speaking, we should write something like a(l,m,n) to reflect the dependence; we shall rely upon context instead.