¹³See ‘Multiset’ on page 1130 for details.