generalize exists1? to exist-n?