mantis had been correct : rumpelstiltskin was a mole for senator skinner , and had been leaking top-secret information to professor sergy popov of mit , who had verified connections to gregor paulos .