let for_all = PSet.for_all