Frege and later Quine showed that quantification over empty domains undermines classical universal c...