k1 = kappa
k2 = k6
k3 = k4
k4 = k4prime
k5 = alpha
k6 = cell
k7 = EmptySet