I have heard that Philip Wadlers article "Theorems for free" has been written in a "CT terms" version in addition to the one that can be found at Nec. If this is the case then I would very much like to have a pointer to where this file can be found. Thank you, Henrik Ljung _________________________________________________________________ Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp.