Central to the plot of the novel Tinker, Tailor, Soldier, Spy is the fact that the New Head of the Service, Percy Alleline has come across a source supplying Soviet Intelligence. The name of the Intelligence supplied is codenamed Witchcraft, but what is the codename of the source supplying it?