Abstract. Even, Selman, and Yacobi [ESY84,SY82] formulated a conjecture that in current terminology asserts that there do not exist disjoint NP-pairs all of whose separators are NP-hard viaTuring reductions. In this paper we consider a variant of this conjecture-there do not exist disjoint NP-pairs all of whose separators are NP-hard via bounded-truthtable reductions. We provide evidence for this conjecture. We also observe that if the original conjecture holds, then some of the known probabilistic public-key cryptosystems are not NP-hard to crack.