Rocket Start/Set Theory 4