(**Thereareafewwaysinwhich[autorewrite]canleadtotroublewheninsufficientcareistakeninchoosinghints.First,thesetofhintsmaydefineanonterminatingrewritesystem,inwhichcaseinvocationsto[autorewrite]maynotterminate.Second,wemayaddhintsthat%``%#"#lead [autorewrite] down the wrong path.#"#%''%Forinstance:*)
(**Thereareafewwaysinwhich[autorewrite]canleadtotroublewheninsufficientcareistakeninchoosinghints.First,thesetofhintsmaydefineanonterminatingrewritesystem,inwhichcaseinvocationsto[autorewrite]maynotterminate.Second,wemayaddhintsthat"lead [autorewrite] down the wrong path."Forinstance:*)