not (1 != 1)
