Switch to Michael Jacobson's improved NUDUPL.