Ivan the terrible wasn’t that terrible