"=" means syntactic equality. CheckĀ : is(equal(a,b))