The lovely streets of Tivoli in Cheltenham, on the way to the pub on a sunny July afternoon