Theorems, the Ugly Truth Free theorems as described in Section 2 are beautiful. And very nice. Almost too good to be true. And actually they are not. At least not unrestricted and in a setting more closely resembling a modern language than the plain polym (0)

by C Free