tons of stuff. Dehn algorithm is working