alpha <-> beta
beta <-> alpha
beta <-> gamma
gamma -> beta