@Benedick: Mike Lee is still history's greatest monster, we've just been taking a rest. And as for the virtues of…