Final commented versions of 7.1