Sure, I'll email you a picture. And I'm very sorry to hear that.

Yeah, we got married about five years ago, and have a two-year-old son. We're still living in Saarbrücken, but we're planning to move back to France at the beginning of the year. How is Jacqui doing?

I see, sounds cool. Branwen is doing well, thank you. I'm currently working for a startup, developing proof automation for the formal verification of C++ code in Coq/Rocq.

Hi Neil! Doing good, thanks. How are you? Glad to hear that Clovis joined the MSP goup. Are you working together?