trying to complete Sec 7.3.1