Reflections from my first days working on hypercerts