Odd DNF output