Robin Pickering (1945-): Tribute to John Miller