(**************************************************************************)
include "basic_2/notation/relations/nativevalid_5.ma".
-include "basic_2/computation/cpds.ma".
+include "basic_2/computation/scpds.ma".
(* STRATIFIED NATIVE VALIDITY FOR TERMS *************************************)