First code, with some notations.