text1: Resources are constrained by hierarchy theorems to produce what?
text2: They are called hierarchy theorems because they induce a proper hierarchy on the classes defined by constraining the respective resources.