And Morningside Heights is considered part of “Greater Harlem.”
https://en.wikipedia.org/wiki/Morningside_Heights,_Manhattan