Re: [firedrake] More questions