Candidates for validity-primitive

No candidates exist for validity-primitive. Upload one for this or another package?