Is D symmetric monoidal? - Neil Strickland (2020)