“…This gives Z * F = P 23 P 13 P 24 P 14 P * 14 P * 24 W C 24 W C 14 = P 23 P 13 W C 24 W C 14 . Now we use that (ι,ι) is the standard Heisenberg pair, generated by W C , and that the anti-Heisenberg pair (α,α) is constructed as in [11,Lemma 3.6]; that is, This unitary and Q witness the manageability of the braided multiplicative unitary (U,V, F). The rather technical proof of this fact is relegated to the appendix, see Lemma A.8.…”