cell k1 e x k2 p cell k4_prime p x cell k4 p a