I am trying to understand causality requirement of JMM. This section of JMM describes it https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.8
What does E means in the causality definition? Does it mean Execution we are trying to justify or the execution to justify the commit from Ci to Ci+1?
Also in the 9 rules of causality definition are for adding an action from A to committed set of action from Ci-1 to Ci or from Ci to Ci+1.?