let k3 = \(x, y, z) -> x