modified initial body for (1)