Davis 1971
Theory updates