refinements to wildcards