Invia SMS: Set theory and hierarchy theory V