ModelDNFDual works