I run a quantitative trading bootcamp (trading.camp). I'm going to start a company that includes this bootcamp and more broadly builds interactive/immersive content around markets, pedagogy, and game design. I would like to name this company something. I posted in Bountied Rationality and in the trading bootcamp alum Discord soliciting suggestions. What will I end up choosing as the name? Adding more answers and market manipulation both very much welcome.