@anirudhmb I’ve checked it out and it looks very sound!

Apocalypse cancelled. We have still lost a few hundred mil…