diff --git a/src/Refinements/Expr.class.st b/src/Refinements/Expr.class.st
index 00467ac58..3f697ce3b 100644
--- a/src/Refinements/Expr.class.st
+++ b/src/Refinements/Expr.class.st
@@ -71,15 +71,6 @@ Expr >> + rhs [
 		sort: Int sort
 ]
 
-{ #category : #'as yet unclassified' }
-Expr >> , anotherPred [
-"
-instance Semigroup Pred where
-  p1 <> p2 = PAnd [p1, p2]
-"
-	^PAnd of: { self . anotherPred }
-]
-
 { #category : #'theory symbols' }
 Expr >> - rhs [
 	^ECst