Add note about returning CNF vs. DNF from ExactlyOneArg