Welcoming Michael Rawson to the TPTP World

[Geoff Sutcliffe]

Hi TPTP World users, etc.,

I am pleased to announce that Michael Rawson is joining me in maintaining and developing the TPTP World. Michael's knowledge and skills will open new possibilities in the TPTP World, and will help keep the TPTP World alive into the future. Welcome Michael! 

There is an email alias mic...@tptp.org if you want to contact him in this regard (or use tp...@tptp.org to contact us both (or use ge...@tptp.org for me only)).

Cheers,

Geoff