re: #415 MandyManners

I’m not. Double-agents may be a very necessary thing, but they’re still double-agents. They may, in the end, be triple-agents.

And he wasn’t our double-agent.