in-depth discussion of alpha-equiv