What do you all think of MongoDB now that they're a hypergrowth stock?