$ 0 0 arbitrator — appropriately dealt with the substance — proceeding — grievance arbitration — accommodated