  We develop a strategy to compute all liftings of a Nichols algebra over a
finite dimensional cosemisimple Hopf algebra. We produce them as cocycle
deformations of the bosonization of these two. In parallel, we study the shape
of any such lifting.
