Re: [math-fun] Double agents, triple agents, and quadruple agents