(black letters are comments added by us)