let
implies =
PSet
.subset