Lev Pontryagin and Leonty Magnitsky were both what?