Reasoning With Causal Cycles.