diff --git a/gap/constructions.gd b/gap/constructions.gd
index f22e68c..4bd3e2b 100644
--- a/gap/constructions.gd
+++ b/gap/constructions.gd
@@ -4,8 +4,6 @@
 
 DeclareGlobalFunction("TrivialLeftQuandle");
 DeclareGlobalFunction("TrivialRightQuandle");
-DeclareProperty("IsTrivial", IsLeftQuasigroup);
-DeclareProperty("IsTrivial", IsRightQuasigroup);
 
 ## Convenience functions