associativity of Day convolution