Possible context: https://github.com/firedrakeproject/firedrake/commit/641fdf3d9ce54c26e2b20c1478488d0313b4c351