placeholders for the formulas we need