Title: Jock Halliday, A Grassmarket Hero