[[1]}, [2]}, [3]}, [4]}]
Universality is undecidable for \(\operatorname{WE}\)  and \(\operatorname{DCF}\) , and decidable for \(\operatorname{VPL}\) . Subset-universality is decidable for \(\operatorname{VPL}\)  but not \(\operatorname{DCF}\) .
