Since we're on the topic, may I also ask a spy question? How do you get rid of unneeded spies? As Julii, I have a bunch remaining from when I was fighting off infiltration by the gauls, but now that I've wiped out the gauls I don't need so many. I don't see any "disband" option for them.