Beta Formal