We will present the general ideas in the proof of non-solvable base change for GL(2), from classical modular forms to Hilbert modular forms. The main inputs are modularity lifting theorems and the method of modularity by propagation.