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