How do you feel about Bob Bratina not for Hamilton mayor in October?