FIP 2018 postscript

August 31, 2018
To everyone involved in FIP 2018 -- the FIPers, their parents, the FIP leaders, the staff, and all of you who support and work with us -- thank you for a FIP none of us will ever forget.