Boolean and the eq? predicate