In memory of

Mark L. Partee