It's easy to check, they seem to have done well: https://www.genealogy.math.ndsu.nodak.edu/id.php?id=61847&fChrono=1 https://www.genealogy.math.ndsu.nodak.edu/i

It's easy to check, they seem to have done well: https://www.genealogy.math.ndsu.nodak.edu/id.php?id=61847&fChrono=1 https://www.genealogy.math.ndsu.nodak.edu/id.php?id=61847&fC...