It is fall in Edinburgh.