Re: Odd DNF output