In Memoriam: David N. Webster (1934-2020)