diff --git a/SL3Z.jl b/SL3Z.jl
index 8649132..78b164c 100644
--- a/SL3Z.jl
+++ b/SL3Z.jl
@@ -110,8 +110,13 @@ end
 
 
 
+#=
+To use file property(T).jl (specifically: check_property_T function)
+You need to define:
 
+function ΔandSDPconstraints(identity, S):: (Δ, sdp_constraints)
 
+=#
 
 using GroupAlgebras
 using PropertyT