alpha-resolution now has some actual content