Thanks for attending today. To gather some of our notes and questions as we go, I started a wiki page on the Firedrake wiki. https://github.com/firedrakeproject/firedrake/wiki/Reading-group I've made a note of Matt's comment linking to the Brannick paper on compatible relaxation (which is an approach that tightens the smoothing and approximation property bounds of Hackbusch). I also noted Patrick's comment that it would be interesting to see if the theory could be extended to cover cases where we do not have coercivity of A^\epsilon but only that its spectrum is bounded away from zero. Feel free to update with other comments/corrections as we go. Thanks, Lawrence