Finished The -untested- substitution method, and integrated it in to the permutation method.