Alex Karp is obviously a heavy cocaine user. Musk is high on Ket all the time. There's nothing wrong with naming names.