norm ExpA (ParE (ParE m1 m2) m3)                   = norm ExpA (ParE m1 (ParE m2 m3))
norm ExpA (ParE (ParE m1 m2) m3)                   = norm ExpA (ParE m1 (ParE m2 m3))
norm ExpA (ParE (ParE m1 m2) m3)                   = norm ExpA (ParE m1 (ParE m2 m3))