Sermon XIV; Preached at the General Assembly of the Church of Scotland, May 20, 1790

A sermon preached to the General Assembly reporting on the mission efforts of the church.

The Encyclopaedia of missions : descriptive, historical, biographical, statistical : with a full assortment of maps, a complete bibliography, and lists of Bible versions, missionary societies, mission stations, and a general index / edited by Edwin Munsell Bliss.

http://www.archive.org/details/encyclopaediamis02unknuoft

The world mission of the Christian religion, by Wade Crawford Barclay; C.A. Bowen, D.D., general editor.

http://www.archive.org/details/worldmissionofth012478mbp

Nutrition or Detoxification: Why Bats Visit Mineral Licks of the Amazonian Rainforest

Many animals in the tropics of Africa, Asia and South America regularly visit so-called salt or mineral licks to consume clay or drink clay-saturated water. Whether this behavior is used to supplement diets with locally limited nutrients or to buffer the effects of toxic secondary plant compounds remains unclear. In the Amazonian rainforest, pregnant and lactating bats are frequently observed and captured at mineral licks. We measured the nitrogen isotope ratio in wing tissue of omnivorous short-tailed fruit bats, Carollia perspicillata, and in an obligate fruit-eating bat, Artibeus obscurus, captured at mineral licks and at control sites in the rainforest. Carollia perspicillata with a plant-dominated diet were more often captured at mineral licks than individuals with an insect-dominated diet, although insects were more mineral depleted than fruits. In contrast, nitrogen isotope ratios of A. obscurus did not differ between individuals captured at mineral lick versus control sites. We conclude that pregnant and lactating fruit-eating bats do not visit mineral licks principally for minerals, but instead to buffer the effects of secondary plant compounds that they ingest in large quantities during periods of high energy demand. These findings have potential implications for the role of mineral licks for mammals in general, including humans.

A General Theory of Semi-Unification

Various restrictions on the terms allowed for substitution give rise to different cases of semi-unification. Semi-unification on finite and regular terms has already been considered in the literature. We introduce a general case of semi-unification where substitutions are allowed on non-regular terms, and we prove the equivalence of this general case to a well-known undecidable data base dependency problem, thus establishing the undecidability of general semi-unification. We present a unified way of looking at the various problems of semi-unification. We give some properties that are common to all the cases of semi-unification. We also the principality property and the solution set for those problems. We prove that semi-unification on general terms has the principality property. Finally, we present a recursive inseparability result between semi-unification on regular terms and semi-unification on general terms.