Zaslat SMS: Serre's problem on projective modules / Tsit-Yuen Lam.