        (loop [j (int (dec i))]
 	 (cond
 	   (< j 0)
-	   true
-	   (not (= (.get A j) (.get B j)))
-	   false
+	   true,
+	   (not= (.get A j) (.get B j))
+	   false,
 	   :else
 	   (recur (dec j))))))
 

  `(loop [~var (int (.nextSetBit ~bitset 0))]
     (cond
       (== -1 ~var)
       true
       (not ~@body)
       false
       :else
       (recur (.nextSetBit ~bitset (inc ~var))))))

(defn- to-bitset
  ""

(defn- next-closed-set
  ""
  [base-count clop #^BitSet A]
  (loop [i (dec (int base-count))]
    (cond
      (== -1 i)
      nil,
      (.get A i)
      (recur (dec i)),
      :else
      (let [A_i (oplus base-count clop A i)]
	(if (lectic-<_i base-count i A A_i)
