Thank you for collecting such a rich tutorial about dolfinx etcie. While reading the section related to the [mixed Poisson](https://jsdokken.com/dolfinx-tutorial/chapter4/mixed_poisson.html#mixed-poisson-with-a-schur-complement-pre-conditioner) problem, the following seems inconsistent <img width="1114" height="155" alt="Image" src="https://github.com/user-attachments/assets/3144d1e0-2bb2-40a6-a239-c378bf3f8085" /> By reversing the description, it becomes consistent with the implementation: - $p \in Q$ is defined in the 1st order BDM space - $u \in V$ as the 0th degree DG space