diff --git a/mappings.cabal b/mappings.cabal
--- a/mappings.cabal
+++ b/mappings.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           mappings
-version:        0.2.0.0
+version:        0.2.1.0
 synopsis:       Types which represent functions k -> v
 description:    Please read README.md on github
 category:       Data structures
diff --git a/test/Data/Mapping/DecisionSpec.hs b/test/Data/Mapping/DecisionSpec.hs
--- a/test/Data/Mapping/DecisionSpec.hs
+++ b/test/Data/Mapping/DecisionSpec.hs
@@ -83,16 +83,16 @@
     let x1y1 = M.fromList [("x", True), ("y", True)]
 
     it "Should work on &&" $ do
-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (x && y)))
+      S.fromList (listTrue (S.fromList ["x", "y"]) (x && y))
         `shouldBe` S.fromList [x1y1]
     it "Should work on ||" $ do
-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (x || y)))
+      S.fromList (listTrue (S.fromList ["x", "y"]) (x || y))
         `shouldBe` S.fromList [x0y1, x1y0, x1y1]
     it "Should work on not (1)" $ do
-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (not x)))
+      S.fromList (listTrue (S.fromList ["x", "y"]) (not x))
         `shouldBe` S.fromList [x0y0, x0y1]
     it "Should work on not (2)" $ do
-      S.fromList (listTrue (S.fromList ["x", "y"]) (algebraUnwrap (not y)))
+      S.fromList (listTrue (S.fromList ["x", "y"]) (not y))
         `shouldBe` S.fromList [x0y0, x1y0]
 
   describe "Properties of independent sets in C_100" $ do