Formulas from user Matthias Bentz (1)