Excellent. HR departments are sand in the gears of productivity.