let
v s x = fst(
Partition
.v s.p x)