I present a fresh look on the Bogolyubov theory in the GP limit. Combining a recent paper of myself with new ideas from the work of Nam-Triay on the inhomogeneous case, one can simplify the theorem of Boccato-Brennecke-Cenatempo-Schlein significantly. I will present the basic ideas of the proof.