Comment by lucozade

> why did not we do that then?

Because that would have been stupid. Why kill a spy when you can exchange him for your spies and then kill him. Which is what they (almost) did. Quite sensible really in a "fuck you world" kind of way.