diff --git a/examples/logicprogset.metta b/examples/logicprogset.metta
index b8e528c..a797f87 100644
--- a/examples/logicprogset.metta
+++ b/examples/logicprogset.metta
@@ -1,7 +1,7 @@
 (= (myf $M)
    (and (and (member a $M)
              (member b $M))
-        (== (size-atom $M) 3)))
+        (== (size-atom $M) 2)))
 
-!(test (let $constraint (once (myf $M)) $M)
+!(test (if (once (myf $M)) $M)
        (a b))
diff --git a/lib/lib_patrick.metta b/lib/lib_patrick.metta
index ca9de2f..b01e139 100644
--- a/lib/lib_patrick.metta
+++ b/lib/lib_patrick.metta
@@ -5,7 +5,7 @@
        (if (== (length $args) 1) ;optimization for single arg, avoids
            (let ($arg) $args ($f $arg)) ;reduce for function call
            (let $func (cons $f $args) (reduce $func)))
-       ($f (. $rest $args))))
+       ($f (compose $rest $args))))
 
 ;Reverse Function Matching
 (= (@ $a $b) (let $a $b $a))