Formulas from user John Hardy2 (1)