What can Michigan do to get Petitti fired?