The words you're looking for to fill in "is gadhafi * ?" might be: