Rewriting of the beginning with Program