Section 4

Inserted construction of universal C*-algebra at the beginning.