JonathanColstrup 09 Sep 2025 in Public B B is supposed to be redefined as \(\mathbb{R}^3\) here, instead of \(\mathbb{R}^2\)