A note on the substructural hierarchy

We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the ${\mathcal{N}}_3$ level of the substructural hierarchy.