Simplicidade e pesos traçais em produtos cruzados reduzidos não unitários | Synapse