Re: Lawvere and Leibniz