update AM
Revert to representation of sequents with Exchange