The Incapacity of the Surgeon to Identify NASH in Bariatric Surgery Makes Biopsy Mandatory

Nonalcoholic steatohepatitis (NASH) is a morbid condition highly related to obesity. It is unclear if the macroscopic liver appearance correlates with the histopathologic findings. The goal of this prospective study was to determine the relationship between the intraoperative liver appearance and the histopathologic diagnosis of NASH in morbidly obese subjects undergoing bariatric surgery. We also aimed to determine variables that could predict NASH preoperatively. Consecutive 51 subjects undergoing bariatric surgery without evidence of other liver disease underwent intraoperative liver biopsy. An intraoperative liver visual (macroscopic and tactile examination) was recorded. The liver aspect was compared with the liver histologic findings. Histological assessment was categorized into two groups: NASH and non-NASH (including normal histology and simple steatosis). Clinical and biochemical parameters were obtained from the patient databases and were compared between groups to identify preoperatively predictive factors of NASH. From 51 patients, only one presented totally normal histology. Forty-three (86.2%) presented simple steatosis, and seven (13.7%) were classified as NASH. Clinical parameters were not different between groups. At biochemical analysis, only VLDL cholesterol level was significantly higher in the NASH group (p = 0.037) but yet within the normal range. Association between macroscopic liver appearance and the presence of histological NASH is poor (sensitivity of 14%, specificity of 56%, positive predictive value of 5%, and negative predictive value of 80%). No predictor of NASH was found. Surgeons` evaluation could not identify NASH individuals. Routine liver biopsy during bariatric operations is mandatory to differentiate NASH and nonalcoholic fatty liver disease.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Using Theory to Understand the Multiple Determinants of Low Participation in Worksite Health Promotion Programs

Low participation at the employee or worksite level limits the potential public health impact of worksite-based interventions. Ecological models suggest that multiple levels of influence operate to determine participation patterns in worksite health promotion programs. Most investigations into the determinants of low participation study the intrapersonal, interpersonal, and institutional influences on employee participation. Community- and policy-level influences have not received attention, nor has consideration been given to worksite-level participation issues. The purpose of this article is to discuss one macrosocial theoretical perspective—political economy of health—that may guide practitioners and researchers interested in addressing the community- and policy-level determinants of participation in worksite health promotion programs. The authors argue that using theory to investigate the full spectrum of determinants offers a more complete range of intervention and research options for maximizing employee and worksite levels of participation.