An improved α2elimination

Abstract
No abstract available