More spa-type stuff for lecture 7