??so what about something about ... ?? "diaconescu's theorem" for ag theory and/or tag theory given by day convolution ??? ... or something ... ???

??hmm, first wrt actual monoidal structure; then wrt pro-monoidal structure ??? ... ??or something ???... ... hmmm ... ???...

??hmm, actual monoidal structure case as maybe "the trivial case" here ??? ... ??or something ?? ....