Title: Formulas, Facts, and Constants