The framework for Theorem 1 (two arrows labelled AMV - 2015). The double ended arrows indicate one-to-one correspondences that exist between the coefficients in the respective nodes. The labels indicate those who first established the correspondences and when.