[1] "a and b are equal"