You missed how funny the superhero question turned out to be.

He said: Not spiderman, he's too happy. Batman.

Was a pleasure meeting you, and everyone else. And Virgo labs must have been one of the most interesting things I have done in my life. I should go to more lectures.