starting abstracting Andrews-Curtis