(Non-joke question) Is there a tensor product of tensor products
a Schelling point for those who seek one
