Formulas from user Dave Luhman (1)