Deriva a estrutura do produto tensor e a discriminabilidade local a partir da invariância causal mais um axioma de composição disjunta. Mostra que a invariância causal sozinha não força a composição, estabelecendo uma derivação honesta de dois axiomas dentro da estrutura operacional.
Max Zhuravlev (Sáb,) estudou esta questão.