Re: [firedrake] Reminder: reading group today at 2pm