Formulas, facts and constants