is mentioned by

Thm* E:TaggedEventStruct. PTrue fuses Causal(E)

[causal_fusion]

Try larger context: GenAutomata