Candidates for exist-instances

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