Whether he was Ivan the Terrible or some other terrible...

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.