Farewell to Mike Dougherty: Old friends and the way we were