Mr. King sounds like inspiration for some part of George Smiley's character.