(1) 1 $$\otimes SW\Lambda T\to jT\downarrow \downarrow EndP/(\otimes ST)I=/(\otimes ZT)J$$ (2) 2 $$cov(L)\to non(K)\to cf(K)\to cf(L)\downarrow \uparrow \uparrow \downarrow add(L)\to add(K)\to cov(K)\to non(L)$$