Hey, that's a neat fact! I did know that AVL stood for "Adelson-Velskii and Landis" but not that they were Soviet-era Mathematicians.