diff --git a/Project.toml b/Project.toml
index 4d1162b..dbb9b0e 100644
--- a/Project.toml
+++ b/Project.toml
@@ -68,9 +68,9 @@ Revise = "3"
 ScientificTypes = "3"
 Sole = "0.6"
 SoleBase = "0.12"
-SoleData = "0.15"
+SoleData = "0.16"
 SoleLogics = "0.9, 0.10"
-SoleModels = "0.8"
+SoleModels = "0.9"
 StatsBase = "0.30 - 0.34"
 Suppressor = "0.2"
 Tables = "1"
diff --git a/src/build.jl b/src/build.jl
index 65be138..3b0cb70 100644
--- a/src/build.jl
+++ b/src/build.jl
@@ -199,7 +199,7 @@ function build_forest(
         error("partial_sampling must be in the range (0,1]")
     end
     
-    if any(map(f->!(f isa SupportedLogiset), eachmodality(X)))
+    if any(map(f->!(SoleData.hassupports(f)), eachmodality(X)))
         @warn "Warning! Consider using structures optimized for model checking " *
             "such as SupportedLogiset."
     end
diff --git a/src/interfaces/MLJ.jl b/src/interfaces/MLJ.jl
index a9fda72..8413762 100644
--- a/src/interfaces/MLJ.jl
+++ b/src/interfaces/MLJ.jl
@@ -30,7 +30,6 @@ const MDT = ModalDecisionTrees
 const _package_url = "https://github.com/giopaglia/$(MDT).jl"
 
 include("MLJ/default-parameters.jl")
-include("MLJ/sanity-checks.jl")
 include("MLJ/printer.jl")
 include("MLJ/wrapdataset.jl")
 include("MLJ/feature-importance.jl")
diff --git a/src/interfaces/MLJ/wrapdataset.jl b/src/interfaces/MLJ/wrapdataset.jl
index 38e3710..f73346c 100644
--- a/src/interfaces/MLJ/wrapdataset.jl
+++ b/src/interfaces/MLJ/wrapdataset.jl
@@ -65,7 +65,7 @@ function wrapdataset(
             else
                 MultiData.dimensional2dataframe(X)
             end
-        elseif X isa SupportedLogiset
+        elseif SoleData.hassupports(X)
             X
         elseif X isa AbstractModalLogiset
             SupportedLogiset(X;