Mathematical Foundations of a Theory of Causal Graphs with Dynamic Trace | Synapse