\beth_\gamma = \sup \{\beth_\beta \mid \beta < \gamma \}