7.13: Names and Formulas of Bases