let
exists c f p =
PSet
.exists f (
PTbl
.get c p)