Candidates for logic-classes

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