   ""
   [base-count clop #^BitSet A]
   (loop [i (dec base-count)]
-    (if (== -1 i)
+    (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)
 	  A_i

	       (object-prime (attribute-prime bitset)))

	intents (take-while identity
			    (iterate #(next-closed-set object-count clop %) (BitSet.)))]
    (map (fn [bitset]
	   [(to-hashset object-vector (attribute-prime bitset))
	    (to-hashset attribute-vector bitset)])
	 intents)))

;; Krajca-Outrata-Vychodil

;; In-Close

;;;


  "Computes concepts with various algorithms, given as first argument."
  (fn [& args] (first args)))

;; NextClosure with BitSets (:next-closure)

(defn- lectic-<_i
  ""
