[firedrake] view of underlying DMPlex?