Re: Lawvere papers