Revisions based on comments of Pieter Holtzhau (@holtzhau).