  The purpose of this short note is to present a simplified proof of Serre's
modularity conjecture using the strong modularity lifting results currently
available. This second version includes extra details on definitions and proofs
than the previous one.
