introduce body; some notation and terminology changes; fix some typos