Text this: On semiproperness of Namba forcings and ideals in Prikry extensions.