Lenin versus Trotsky and his followers.