some compression, a draft introduction, some cleanup