We next build upon thm:discreteexpressive to show RCPM is universal. We show that a single block \(s\) , i.e., e:flowlayers,e:flowlayers2 with \(T=1\)  can already approximate arbitrary the optimal transport \(t:{\mathcal {M}}\rightarrow {\mathcal {M}}\) . Due to the theory of [1]} (see ss:mccan) this means that \(s\)  can push any absolutely continuous base probability \(\mu \)  to a general \(\nu \)  arbitrarily well.
