Why does we require rules in a hypothetical inductive definition be uniform? what does it mean to be uniform?

General