Re: Gray tensor product