Re: [firedrake] Needing guidance