Formal Bottoms