You’re saying that when they we’re trying to solve this theorem they also shoved in its context somebody else’s chat logs? Bruh.