• What's a type system?
• "Type-use" annotations are not part of the type
• Java's type system is null-oblivious
• JSpecify simulates a null-aware type system
• Subtyping
• The top type
• So what?