Solved subst_equiv_property !!