L = S vy S.CD S ert- * ~ K-,