order on substitutions