6Lists are discussed in ‘List’ on page 1074 and in Section 5.5 on page 283.