Kleene require that the "predicates" Q that doing the testing are all mutually exclusive"predicates" are functions that produce only { true, false } for output; Boolos-Burgess-Jeffrey add the requirement that the cases are "exhaustive".