Complete sec. 7.1