Formula Foundations