Re: [firedrake] matplotlib query