correctness in 7cs of communication - Search