Thank you Dave. I’m more upset than I imagined would be possible in the circumstances. Poor Mario. He died, as he lived, a back-garden fighter. And thank you Jean. You too have (literally!) felt his embrace.