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

B Cell Activation in Insulin Resistance and Obesity

Our group has demonstrated that inflammatory diseases such as type 2 diabetes (DM), inflammatory bowel disease (IBD), and periodontal disease (PD) are associated with altered B cell function that may contribute to disease pathogenesis. B cells were found to be highly activated with characteristics of inflammatory cells. Obesity is a pre-disease state for cardiovascular disease and type 2 diabetes and is considered a state of chronic inflammation. Therefore, we sought to better characterize B cell function and phenotype in obese patients. We demonstrate that (Toll-like receptor) TLR4 and CD36 expression by B cells is elevated in obese subjects, suggesting increased sensing of lipopolysaccharide (LPS) and other TLR ligands. These ligands may be of microbial, from translocation from a leaky gut, or host origin. To better assess microbial ligand burden and host response in the bloodstream, we measured LPS binding protein (LBP), bacterial/permeability increasing protein (BPI), and high mobility group box 1 (HMGB1). Thus far, our data demonstrate an increase in LBP in DM and obesity indicating increased responses to TLR ligands in the blood. Interestingly, B cells responded to certain types of LPS by phosphorylating extracellular-signal-regulated kinases (ERK) 1/2. A better understanding of the immunological state of obesity and the microbial and endogenous TLR ligands that may be activating B cells will help identify novel therapeutics to reduce the risk of more dangerous conditions, such as cardiovascular disease.

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.