On 7/10/07, Dan Piponi wrote:

On 7/10/07, Andrew Coppin wrote:

...

But what does, say, "Maybe x -> x" say?

Silly me. You reversed the arrows and I copied you. (Could it be something to do with the other conversation we were having?) I meant to say: So x -> Maybe x says that X implies "True or X". That's a valid proposition and so there is a function x -> Maybe x. -- Dan