> It's interesting to note that Kernighan&Plauger use "yes" and "no" rather > than "true" and "false", ... Yes, but the conventional use in symbolic logic is true/false. One is not always asking a natural yes/no question of a predicate.