After my period of contemplation I decided to venture further into the neighbourhood.
I have been very enchanted with the placenames here, all ending in the word hope.
When I consulted a local history expert I discovered that
the place name Harehope is composed of the two elements: that is "hara", hare (related to the Old Norse "heri")
and "-hop" meaning "valley", hence the "hare's valley"
Johnny tells me that round these parts hope is pronounced "up", hence this is Hareup.
I gather from Johnny that hares still inhabit this valley.
Here I am at the entrance to Harehope Gill Lead mine.