diff --git a/gap/structure.gi b/gap/structure.gi
index 4361011..7b6a8b8 100644
--- a/gap/structure.gi
+++ b/gap/structure.gi
@@ -151,7 +151,7 @@ InstallGlobalFunction(LeftRackByMultiplicationTable,
 
 InstallGlobalFunction(LeftRackByMultiplicationTableNC,
   T -> MagmaByMultiplicationTableCreatorNC(T, LeftRack,
-         IsLeftQuotientElement and IsLSelfDistributiveElement and 
+         IsLeftQuotientElement and IsLSelfDistElement and 
          IsMagmaByMultiplicationTableObj
        )
 );
@@ -171,7 +171,7 @@ end);
 
 InstallGlobalFunction(RightRackByMultiplicationTableNC,
   T -> MagmaByMultiplicationTableCreatorNC(T, RightRack,
-         IsRightQuotientElement and IsRSelfDistributiveElement and 
+         IsRightQuotientElement and IsRSelfDistElement and 
          IsMagmaByMultiplicationTableObj
        )
 );
@@ -236,6 +236,17 @@ InstallMethod(RightPerms,
     return List(TransposedMat(MultiplicationTable(fam)), x->PermList(x));
 end);
 
+## Distributivity checkers for when need be
+InstallMethod(IsLSelfDistributive, "for magma"
+              [IsMagma],
+              M -> IsLSelfDistributiveTable(MultiplicationTable(M))
+);
+
+InstallMethod(IsRSelfDistributive, "for magma"
+              [IsMagma],
+              M -> IsRSelfDistributiveTable(MultiplicationTable(M))
+);
+
 ## Special case the Opposite function from LOOPS package, since the opposite
 ## of a left quasigroup is a right quasigroup and vice versa