Quick question about expressiveness of Monarch

[wimh966]

In Proposition 3.2, it's the MM* and (MM*)^2 represents convolution, Fourier transform, and other efficient linear transforms. However, it seems that in experiments, only M=PLP^TR matrix is being used, thus is not enough to recover other transforms. Is this right?