Owned by the type system.