Shorten Sec 7.1