Happy May Day, everybody.