BAR. All wicked men are miserable;

BA. All tyrants are wicked men;

BA. Therefore all tyrants are miserable.