Re: [firedrake] R space