  We present a fresh look at the methods introduced by Boccato, Brennecke,
Cenatiempo, and Schlein concerning the trapped Bose gas and give a conceptually
very simple and concise proof of BEC in the Gross-Pitaevskii limit for small
interaction potentials.
