let lit = PSet.singleton