In Memoriam: Derek Allen 1947-2023 (Informal Logic, 2023)