A1.4 (a): Nice formulateion CGK :)