If they are the same, then Bob accepts, saying x equals y.
Nếu chúng bằng nhau, thì Bob chấp nhận, đưa ra kết quả x bằng y.