What are the structural properties of generic derivability judgment, governing the behavior of variables, if the rules are uniform?

General