Whether he was Ivan the Terrible or some other terrible person, is really irrelevant. The facts are clear and, at last, we have achieved some justice.