“I’ve read your solver. It lied.”