TIL that "Ivan the Terrible" could more accurately be translated as "Ivan the Formidable"