In Memoriam to Brian J. Allen

August 13, 1958 - May 23, 2021