So, Mercor is suddenly worth a lot more money. Like, a lot. We’re talking $10 billion, which is pretty wild. This all ...