dx: comments to section 1 tex