Do-calculus has 3 rules: https://plato.stanford.edu/entries/causal-models/do-calculus.html
I understand them on a mathematical level, but they seem so arbitrary. I can not wrap my head around what the intuitive explanation behind them is, and why they are useful. I guess there is some intuitive explanation, as they are called 'Rule 1 (Insertion/deletion of observations)', 'Rule 2 (Action/observation exchange)', and 'Rule 3 (Insertion/deletion of actions)', but why?