diff --git a/Jukebox/Monotonox/ToFOF.hs b/Jukebox/Monotonox/ToFOF.hs
--- a/Jukebox/Monotonox/ToFOF.hs
+++ b/Jukebox/Monotonox/ToFOF.hs
@@ -153,7 +153,7 @@
     exists = \(Bind vs f) ->
        let bound = foldr (/\) true (map guard (NameMap.toList vs))
            guard v | mono (typ v) = true
-                   | not (naked True v f) = true
+--                   | not (naked True v f) = true
                    | otherwise = Literal (Pos (Tru (ps (typ v) :@: [Var v])))
        in Exists (Bind vs (simplify bound /\ f)),
     equals = \t u -> Literal (Pos (t :=: u)),
diff --git a/jukebox.cabal b/jukebox.cabal
--- a/jukebox.cabal
+++ b/jukebox.cabal
@@ -1,5 +1,5 @@
 Name: jukebox
-Version: 0.1.3
+Version: 0.1.4
 Cabal-version: >= 1.8
 Build-type: Simple
 Author: Nick Smallbone