Definition:Table of Beta-Formulas