All the jokes about launching rockets in the "what is a monad" articles are finally coming true!