{\bf P}\in {\rm M}_{2^n\times 2^n}