ship of Theseus

This note last modified December 14, 2021

---