Utilities for vector-valued PDL
