diff --git a/PackageInfo.g b/PackageInfo.g
index 366cdda4..11605335 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
 Version := Maximum( [
-                   "2020.04.01", ## Mohamed's version
+                   "2020.05.01", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2017.05.26", ## Julia's version
                    ## this line prevents merge conflicts
diff --git a/gap/FinSetsForCAP.gi b/gap/FinSetsForCAP.gi
index 4ec7d1ae..474affa2 100644
--- a/gap/FinSetsForCAP.gi
+++ b/gap/FinSetsForCAP.gi
@@ -6,6 +6,8 @@
 
 BindGlobal( "FinSets", CreateCapCategory( "FinSets" ) );
 
+CapCategorySwitchLogicOff( FinSets );
+
 SetIsElementaryTopos( FinSets, true );
 
 AddObjectRepresentation( FinSets, IsFiniteSet and HasAsList and HasLength );