Are Yuri Matiyasevich and Mikhail Kravchuk both mathematicians?