$ 0 0 grievor — appropriately dealt with the substance — grievance proceedings — discipline — concurrent jurisdiction