I am reading Elements of Causal Inference by Jonas Peters, Dominik Janzing, and Bernhard Schölkopf. In section 3.2 the book defines a structural causal model (SCM) $\mathfrak{C}$:
$$C:=N_C$$ $$E:= 4 \times C + N_E$$
where $N_C, N_E \stackrel{iid}{\sim} \mathcal{N}(0, 1)$ and graph $C \to E$ (which indicates the causal direction). The $:=$ sign signifies an asymmetric assignment operation. We can infer $P^{\mathfrak{C}}_{E} = \mathcal{N}(0, 17)$ and $P^{\mathfrak{C}}_{E \vert C = 2} = \mathcal{N}(8, 1)$rather intuitively, simply following the assignments. The book then asks the reader to show $P^{\mathfrak{C}}_{C \vert E = 2} = \mathcal{N}(\frac{8}{17}, \frac{1}{17})$. This does not follow the causal direction. Using the fact that the conditional bivariate normal probability distribution is normal with $$E(X_2 \vert X_1 = x_1) = \mu_2 + \rho \sigma_2 \left( \frac{x_1 - \mu_1}{\sigma_1} \right)$$ $$Var(X_2 \vert X_1 = x_1) = (1 - \rho^2) \sigma_2^2$$ only gets us as far as $$E(C \vert E = 2) =\frac{2\rho}{17}$$ Surely, I am missing something.