let
exists =
PSet
.exists