My Position on the TPTP

Geoff Sutcliffe
University of Miami
geoff[@]cs.miami.edu

Introduction

My position is sitting crosslegged, using a Apple Macintosh. I have several subpositions.

Lying Down

There are some things I will not take lying down, but the TPTP is not one of them. I will think about the TPTP while lying on my back, and also on my stomach.

One should be careful not to use the TPTP while lying down with a bottle of Tequila, and this sometimes leads to YpTO.

Standing Up

Using the TPTP while standing up is also quite safe, but see the note above about Tequila. If I like to shoot my mouth off about the TPTP, I use bullets:

TPTP is a four letter word.
Never TPTP without protection.
If you see a stray TPTP problem, catch it and send it back to me.

Conclusion

There is nothing more to say, is there?