Re: linear logic