Text this: Set theory and hierarchy theory V :