question: public boolean isFalse ( ) { return isEmpty ( ) ; }
target:  If a clause is empty - a disjunction of no disjuncts - it is equivalent to 'False' because a disjunction is true only if at least one of its disjuncts is true.