Re: More infinite simplifier bugs?