In memory of

Andrea Partee