Candidates for smallcheck-laws

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