Thomas convolution