The Theoretical Foundations Project