The article proves a version of the p-adic Lefschetz theorem for semistable cases and extends the Maulik-Poonen result on Picard number jumping locus. The researchers use specific mathematical models and isomorphisms to show that certain properties hold regardless of the choice of a key element. This generalization of the Berthelot-Ogus theorem leads to a broader understanding of the Maulik-Poonen result, providing new insights into the behavior of certain mathematical structures.