Proper circular arc graphs as intersection graphs of paths on a grid.