Computability Learning Seminar | Beining Mu | Jump of a structure IV