¹Some fragments of this module have been discussed in Sections 3.5 and 4.3.