[mixmax]

I have your second point in my notes already :-)

Your first and last points are great, and I'll definitely think about how to get them into the lectures.