Branching this off; will implement Causal Coarsening Theorem now.