polybta-simplify-aenv

there is no correspondence between
Delta and Gamma