If I were these guys, I'd be far more scared of Klara von Neumann's Ghost than Roko's Basilisk...