diff --git a/collects/schelog/schelog.rkt b/collects/schelog/schelog.rkt
index 4086b1975c..4490c81bfb 100644
--- a/collects/schelog/schelog.rkt
+++ b/collects/schelog/schelog.rkt
@@ -213,8 +213,7 @@
 (define %>= (make-binary-arithmetic-relation >=))
 (define %< (make-binary-arithmetic-relation <))
 (define %<= (make-binary-arithmetic-relation <=))
-(define %=/= (make-binary-arithmetic-relation
-              (lambda (m n) (not (= m n)))))
+(define %=/= (make-binary-arithmetic-relation (compose not =)))
 
 ;type predicates