Who lived longer, Lazar Lyusternik or Mikhail Kravchuk?