Some more DVRSet helpers, with JavaDoc.