Title: Downward nominal wage rigidity and the long-run Phillips curve