An EG meeting will be held today, May 31, at 4pm UTC (9am PDT, 12pm EDT). We've asked Kevin to review with us some of the lessons learned about nullness in the JSpecify project.