Added do-calculus explanation and clarified other conditional
explanation.
Added 3.12 and 3.13.