another way of eliminating quantified variables is quine's predicate functor logic her party united serbia was created from the party of serbian unity she should have given her a false name