Re: [firedrake] Sanity check