yao: Implemented computation of K'.