In type theory, an uninhabited type is often called a bottom type, and written as ⊥. A bottom type is a subtype of every other type. So `Never` would be an `Int` and a `String` and a `UIViewController` and every other type. The opposite is the top type (⊤), the supertype of every other type. In Swift, that’s `Any`.