• Practical stuff
• General project stuff
• General Java background stuff
• JSpecify nullness stuff
• Interesting cases
• Future