Technically, his name doesn't mean "Ivan the Terrible" tho