Can urethrolysis resolve outlet obstruction related symptoms after Burch colposuspension for stress urinary incontinence?

OBJECTIVE Bladder outlet obstruction may occur after any incontinence surgery and may present as OAB, hesitancy and or the feeling of incomplete emptying. Aim of this study was to analyze the clinical and urodynamical outcome after urethrolysis in patients presenting with various clinical symptoms after Burch colposuspension for stress urinary incontinence. STUDY DESIGN Between January 2005 and December 2014, all patients who presented with symptoms and with bladder outlet obstruction were included. All patients had undergone Burch or Cowan colposuspension for stress urinary incontinence previously. Primary endpoint was the visual analogue scale (VAS) as measurement of patient perceived disease impact. Secondary endpoints were the various domains of the King's Health Questionnaire, urodynamic parameters as detrusor pressure at maximum flow, residual urine and sonographic bladder wall thickness before and six months after intervention. RESULTS Seventy-two female patients were included in this study whereof 42 suffered from urgency and urge incontinence, 20 from hesitancy and/or slow stream, seven from residual urine of more than 100ml and three from a combination of urgency and residual urine. VAS improved significantly (p<0.0001). Quality of life as determined by the King's Health Questionnaire improved for the domains general health, role limitations, emotions, physical limitations, personal limitations and incontinence impact significantly. Micturition pressure dropped significantly from 43cmH2O (95% CI 19-59cmH2O) to 18cmH2O (95% CI 16-23.5 H2O). Residual urine changed from 110ml (range 20-380ml) to 32ml (20-115ml). Bladder wall thickness decreased from 7mm (95% CI 6.235-7.152) to 5mm (95% CI 5.037-5.607; p<0.01). CONCLUSION Urethrolysis may resolve patients' symptoms and lower micturition pressure but irritative symptoms may persist.

Involuntary reflexive pelvic floor muscle training in addition to standard training versus standard training alone for women with stress urinary incontinence: study protocol for a randomized controlled trial

BACKGROUND Pelvic floor muscle training is effective and recommended as first-line therapy for female patients with stress urinary incontinence. However, standard pelvic floor physiotherapy concentrates on voluntary contractions even though the situations provoking stress urinary incontinence (for example, sneezing, coughing, running) require involuntary fast reflexive pelvic floor muscle contractions. Training procedures for involuntary reflexive muscle contractions are widely implemented in rehabilitation and sports but not yet in pelvic floor rehabilitation. Therefore, the research group developed a training protocol including standard physiotherapy and in addition focused on involuntary reflexive pelvic floor muscle contractions. METHODS/DESIGN The aim of the planned study is to compare this newly developed physiotherapy program (experimental group) and the standard physiotherapy program (control group) regarding their effect on stress urinary incontinence. The working hypothesis is that the experimental group focusing on involuntary reflexive muscle contractions will have a higher improvement of continence measured by the International Consultation on Incontinence Modular Questionnaire Urinary Incontinence (short form), and - regarding secondary and tertiary outcomes - higher pelvic floor muscle activity during stress urinary incontinence provoking activities, better pad-test results, higher quality of life scores (International Consultation on Incontinence Modular Questionnaire) and higher intravaginal muscle strength (digitally tested) from before to after the intervention phase. This study is designed as a prospective, triple-blinded (participant, investigator, outcome assessor), randomized controlled trial with two physiotherapy intervention groups with a 6-month follow-up including 48 stress urinary incontinent women per group. For both groups the intervention will last 16 weeks and will include 9 personal physiotherapy consultations and 78 short home training sessions (weeks 1-5 3x/week, 3x/day; weeks 6-16 3x/week, 1x/day). Thereafter both groups will continue with home training sessions (3x/week, 1x/day) until the 6-month follow-up. To compare the primary outcome, International Consultation on Incontinence Modular Questionnaire (short form) between and within the two groups at ten time points (before intervention, physiotherapy sessions 2-9, after intervention) ANOVA models for longitudinal data will be applied. DISCUSSION This study closes a gap, as involuntary reflexive pelvic floor muscle training has not yet been included in stress urinary incontinence physiotherapy, and if shown successful could be implemented in clinical practice immediately. TRIAL REGISTRATION NCT02318251 ; 4 December 2014 First patient randomized: 11 March 2015.

Na(+), K(+), Cl(-), acid-base or H2O homeostasis in children with urinary tract infections: a narrative review.

Guidelines on the diagnosis and management of urinary tract infections in childhood do not address the issue of abnormalities in Na(+), K(+), Cl(-) and acid-base balance. We have conducted a narrative review of the literature with the aim to describe the underlying mechanisms of these abnormalities and to suggest therapeutic maneuvers. Abnormalities in Na(+), K(+), Cl(-) and acid-base balance are common in newborns and infants and uncommon in children of more than 3 years of age. Such abnormalities may result from factitious laboratory results, from signs and symptoms (such as excessive sweating, poor fluid intake, vomiting and passage of loose stools) of the infection itself, from a renal dysfunction, from improper parenteral fluid management or from the prescribed antimicrobials. In addition, two transient renal tubular dysfunctions may occur in infants with infectious renal parenchymal involvement: a reduced capacity to concentrate urine and pseudohypoaldosteronism secondary to renal tubular unresponsiveness to aldosterone that presents with hyponatremia, hyperkalemia and acidosis. In addition to antimicrobials, volume resuscitation with an isotonic solution is required in these children. In secondary pseudohypoaldosteronism, isotonic solutions (such as 0.9 % saline or lactated Ringer) correct not only the volume depletion but also the hyperkalemia and acidosis. In conclusion, our review suggests that in infants with infectious renal parenchymal involvement, non-renal and renal causes concur to cause fluid volume depletion and abnormalities in electrolyte and acid-base balance, most frequently hyponatremia.

Gestation-specific reference intervals for comprehensive spot urinary steroid hormone metabolite analysis in normal singleton pregnancy and 6 weeks postpartum

BACKGROUND: Normal pregnancy depends on pronounced adaptations in steroid hormone concentrations. Although in recent years, the understanding of these hormones in pregnancy has improved, the interpretation is hampered by insufficient reference values. Our aim was to establish gestation-specific reference intervals for spot urinary steroid hormone levels in normal singleton pregnancies and 6 weeks postpartum. METHODS: Cross-sectional multicentre observational study. Women recruited between 2008 and 2013 at 3 University Hospitals in Switzerland (Bern), Scotland (Glasgow) and Austria (Graz). Spot urine was collected from healthy women undergoing a normal pregnancy (age, 16-45 years; mean, 31 years) attending routine antenatal clinics at gestation weeks 11, 20, and 28 and approximately 6 weeks postpartum. Urine steroid hormone levels were analysed using gas-chromatography mass spectrometry. Creatinine was also measured by routine analysis and used for normalisation. RESULTS: From the results, a reference interval was calculated for each hormone metabolite at each trimester and 6 weeks postpartum. Changes in these concentrations between trimesters and postpartum were also observed for several steroid hormones and followed changes proposed for index steroid hormones. CONCLUSIONS: Normal gestation-specific reference values for spot urinary steroid hormones throughout pregnancy and early postpartum are now available to facilitate clinical management and research approaches to steroid hormone metabolism in pregnancy and the early postpartum period.

Tibial Nerve Stimulation for Treating Neurogenic Lower Urinary Tract Dysfunction: A Systematic Review

CONTEXT Tibial nerve stimulation (TNS) is a promising therapy for non-neurogenic lower urinary tract dysfunction and might also be a valuable option for patients with an underlying neurological disorder. OBJECTIVE We systematically reviewed all available evidence on the efficacy and safety of TNS for treating neurogenic lower urinary tract dysfunction (NLUTD). EVIDENCE ACQUISITION The review was performed according to the Preferred Reporting Items for Systematic Reviews and Meta-Analyses Statement. EVIDENCE SYNTHESIS After screening 1943 articles, 16 studies (4 randomized controlled trials [RCTs], 9 prospective cohort studies, 2 retrospective case series, and 1 case report) enrolling 469 patients (283 women and 186 men) were included. Five studies reported on acute TNS and 11 on chronic TNS. In acute and chronic TNS, the mean increase of maximum cystometric capacity ranged from 56 to 132mL and from 49 to 150mL, and the mean increase of bladder volume at first detrusor overactivity ranged from 44 to 92mL and from 93 to 121mL, respectively. In acute and chronic TNS, the mean decrease of maximum detrusor pressure during the storage phase ranged from 5 to 15cm H2O and from 4 to 21cm H2O, respectively. In chronic TNS, the mean decrease in number of voids per 24h, in number of leakages per 24h, and in postvoid residual ranged from 3 to 7, from 1 to 4, and from 15 to 55mL, respectively. No TNS-related adverse events have been reported. Risk of bias and confounding was high in most studies. CONCLUSIONS Although preliminary data of RCTs and non-RCTs suggest TNS might be effective and safe for treating NLUTD, the evidence base is poor, derived from small, mostly noncomparative studies with a high risk of bias and confounding. More reliable data from well-designed RCTs are needed to reach definitive conclusions. PATIENT SUMMARY Early data suggest tibial nerve stimulation might be effective and safe for treating neurogenic lower urinary tract dysfunction, but more reliable evidence is required.

Transcutaneous Electrical Nerve Stimulation for Treating Neurogenic Lower Urinary Tract Dysfunction: A Systematic Review

CONTEXT Transcutaneous electrical nerve stimulation (TENS) is a promising therapy for non-neurogenic lower urinary tract dysfunction and might also be a valuable option in patients with an underlying neurological disorder. OBJECTIVE We systematically reviewed all available evidence on the efficacy and safety of TENS for treating neurogenic lower urinary tract dysfunction. EVIDENCE ACQUISITION The review was performed according to the Preferred Reporting Items for Systematic Reviews and Meta-Analyses Statement. EVIDENCE SYNTHESIS After screening 1943 articles, 22 studies (two randomised controlled trials, 14 prospective cohort studies, five retrospective case series, and one case report) enrolling 450 patients were included. Eleven studies reported on acute TENS and 11 on chronic TENS. In acute TENS and chronic TENS, the mean increase of maximum cystometric capacity ranged from 69ml to 163ml and from 4ml to 156ml, the mean change of bladder volume at first detrusor overactivity from a decrease of 13ml to an increase of 175ml and from an increase of 10ml to 120ml, a mean decrease of maximum detrusor pressure at first detrusor overactivity from 18 cmH20 to 72 cmH20 and 8 cmH20, and a mean decrease of maximum storage detrusor pressure from 20 cmH20 to 58 cmH2O and from 3 cmH20 to 8 cmH2O, respectively. In chronic TENS, a mean decrease in the number of voids and leakages per 24h ranged from 1 to 3 and from 0 to 4, a mean increase of maximum flow rate from 2ml/s to 7ml/s, and a mean change of postvoid residual from an increase of 26ml to a decrease of 85ml. No TENS-related serious adverse events have been reported. Risk of bias and confounding was high in most studies. CONCLUSIONS Although preliminary data suggest TENS might be effective and safe for treating neurogenic lower urinary tract dysfunction, the evidence base is poor and more reliable data from well-designed randomised controlled trials are needed to make definitive conclusions. PATIENT SUMMARY Early data suggest that transcutaneous electrical nerve stimulation might be effective and safe for treating neurogenic lower urinary tract dysfunction, but more reliable evidence is required.

Low correlation between self-report and medical record documentation of urinary tract infection symptoms.

BACKGROUND Correlations between symptom documentation in medical records and patient self-report (SR) vary depending on the condition studied. Patient symptoms are particularly important in urinary tract infection (UTI) diagnosis, and this correlation for UTI symptoms is currently unknown. METHODS This is a cross-sectional survey study in hospitalized patients with Escherichia coli bacteriuria. Patients were interviewed within 24 hours of diagnosis for the SR of UTI symptoms. We reviewed medical records for UTI symptoms documented by admitting or treating inpatient physicians (IPs), nurses (RNs), and emergency physicians (EPs). The level of agreement between groups was assessed using Cohen κ coefficient. RESULTS Out of 43 patients, 34 (79%) self-reported at least 1 of 6 primary symptoms. The most common self-reported symptoms were urinary frequency (53.5%); retention (41.9%); flank pain, suprapubic pain, and fatigue (37.2% each); and dysuria (30.2%). Correlation between SR and medical record documentation was slight to fair (κ, 0.06-0.4 between SR and IPs and 0.09-0.5 between SR and EDs). Positive agreement was highest for dysuria and frequency. CONCLUSION Correlation between self-reported UTI symptoms and health care providers' documentation was low to fair. Because medical records are a vital source of information for clinicians and researchers and symptom assessment and documentation are vital in distinguishing UTI from asymptomatic bacteriuria, efforts must be made to improve documentation.

Cystoscopy and the development of invasive bladder cancer in patients presenting with superficial urinary bladder cancer

The objective of this study was to determine the impact of different follow-up cystoscopy frequencies on time to development of invasive bladder cancer in a cohort of 3,658 eligible patients 65 and older with an initial diagnosis of superficial bladder cancer between 1994 and 1998. Bladder cancer patients in the Surveillance, Epidemiology, and End Results (SEER)-Medicare database were used as the study population. ^ It was hypothesized that superficial bladder cancer patients receiving less frequent cystoscopy follow-up would develop invasive bladder cancer sooner after initial diagnosis and treatment than patients seen more frequently for cystoscopy follow-up. Cox Proportional Hazard Regression revealed that patients seen for cystoscopy every 3 or more months were 83–89% less likely to develop invasive cancer than patients seen every 1 to 2 months. A comparison of the 2 groups (1 to 2 months vs. 3≥ months) revealed that the 1 to 2 month group may have had more aggressive disease, and they are seen more frequently as a result. ^ These findings suggest that there are two groups of superficial bladder cancer patients: those at high risk of developing invasive bladder cancer and those at low risk. Patients who developed invasive bladder cancer sooner after initial diagnosis and treatment were seen more frequently for cystoscopy follow-up. The recommendation is that cystoscopy should be based on disease status at 3 months. Standardized schedules give all patients the same number of cystoscopies regardless of their risk factors. This could lead to unnecessary cystoscopies in low risk patients, and fewer than optimal cystoscopies in high risk patients. ^

Intrinsic characteristics of the proton pump in the luminal membrane of a tight urinary epithelium. The relation between transport rate and delta mu H.

A number of tight urinary epithelia, as exemplified by the turtle bladder, acidify the luminal solution by active transport of H+ across the luminal cell membrane. The rate of active H+ transport (JH) decreases as the electrochemical potential difference for H+ [delta mu H = mu H(lumen) - mu H(serosa)] across the epithelium is increased. The luminal cell membrane has a low permeability for H+ equivalents and a high electrical resistance compared with the basolateral cell membrane. Changes in JH thus reflect changes in active H+ transport across the luminal membrane. To examine the control of JH by delta mu H in the turtle bladder, transepithelial electrical potential differences (delta psi) were imposed at constant acid-base conditions or the luminal pH was varied at delta psi = 0 and constant serosal PCO2 and pH. When the luminal compartment was acidified from pH 7 to 4 or was made electrically positive, JH decreased as a linear function of delta mu H as previously described. When the luminal compartment was made alkaline from pH 7 to 9 or was made electrically negative, JH reached a maximal value, which was the same whether the delta mu H was imposed as a delta pH or a delta psi. The nonlinear JH vs. delta mu H relation does not result from changes in the number of pumps in the luminal membrane or from changes in the intracellular pH, but is a characteristic of the H+ pumps themselves. We propose a general scheme, which, because of its structural features, can account for the nonlinearity of the JH vs. delta mu H relations and, more specifically, for the kinetic equivalence of the effects of the chemical and electrical components of delta mu H. According to this model, the pump complex consists of two components: a catalytic unit at the cytoplasmic side of the luminal membrane, which mediates the ATP-driven H+ translocation, and a transmembrane channel, which mediates the transfer of H+ from the catalytic unit to the luminal solution. These two components may be linked through a buffer compartment for H+ (an antechamber).

Usage of Urinary Antigen Test for Legionella on diagnosed community-acquired pneumonia in San Antonio hospitals

Purpose. To evaluate the use of the Legionella Urine Antigen Test as a cost effective method for diagnosing Legionnaires’ disease in five San Antonio Hospitals from January 2007 to December 2009. ^ Methods. The data reported by five San Antonio hospitals to the San Antonio Metropolitan Health District during a 3-year retrospective study (January 2007 to December 2009) were evaluated for the frequency of non-specific pneumonia infections, the number of Legionella Urine Antigen Tests performed, and the percentage of positive cases of Legionnaires’ disease diagnosed by the Legionella Urine Antigen Test.^ Results. There were a total of 7,087 cases of non-specific pneumonias reported across the five San Antonio hospitals studied from 2007 to 2009. A total of 5,371 Legionella Urine Antigen Tests were performed from January, 2007 to December, 2009 across the five San Antonio hospitals in the study. A total of 38 positive cases of Legionnaires’ disease were identified by the use of Legionella Urinary Antigen Test from 2007-2009.^ Conclusions. In spite of the limitations of this study in obtaining sufficient relevant data to evaluate the cost effectiveness of Legionella Urinary Antigen Test in diagnosing Legionnaires’ disease, the Legionella Urinary Antigen Test is simple, accurate, faster, as results can be obtained within minutes to hours; and convenient because it can be performed in emergency room department to any patient who presents with the clinical signs or symptoms of pneumonia. Over the long run, it remains to be shown if this test may decrease mortality, lower total medical costs by decreasing the number of broad-spectrum antibiotics prescribed, shorten patient wait time/hospital stay, and decrease the need for unnecessary ancillary testing, and improve overall patient outcomes.^

Mutagenicity study of the urinary metabolites of 2-aminonaphthalene

The mutagenicity study of the urinary metabolites of 2-aminonaphthalene was conducted to determine whether differences in metabolism between different acetylator phenotypes could account for a proposed mechanism of bladder carcinogenesis. This required the use of fast and slow acetylator rabbits with phenotypic similarities to humans. In the absence of available slow acetylators, it was necessary to inhibit fast acetylators. The proposed mechanism was that slow acetylators were at greater potential risk of bladder carcinogenesis due to low rates of acetylation, a detoxification mechanism for certain aromatic amines. The alternate metabolic pathway will be hydroxylation. The fast acetylators were proposed to exhibit lower risk of bladder carcinogenicity as a result of higher acetylation rates and less mutagenic metabolites.^ This hypothesis was approached by determining from in vitro mutagenicity assays with Salmonella typhimurium strains TA98 and TA100 whether different metabolites were mutagenic. The acetylation rate of each rabbit and a suitable method of acetylation inhibition were determined through oral exposure to dapsone and the acetylation inhibitor, K-p-aminosalicylic acid. Residues of dapsone and its acetylated metabolite were extracted from blood samples and analyzed by ultra-violet spectrometry using standard curves for each metabolite. The urine samples were concentrated on XAD-2 resin and analyzed both as whole urine concentrates and as isolated metabolites from spots on high performance thin layer chromatography plates. The major isolated spots were identified and quantified through extraction and analysis by high performance liquid chromatography when possible.^ Acetylation rate determination and inhibition were successfully demonstrated in rabbits. Significant mutagenicity was noted for several critical metabolites. None of the mutagenic metabolites were detected in higher concentration in the inhibited acetylators and thus, no clear relationship of metabolite concentration to bladder carcinogenesis was evident for the compounds analyzed. There was some evidence that the inhibitor may have affected critical enzyme systems other than acetylation alone. This would account for the lower concentrations of mutagenic hydroxylated compounds observed. ^

Pelvic Floor Muscle Training Included in a Pregnancy Exercise Program Is Effective in Primary Prevention of Urinary Incontinence: A Randomized Controlled Trial

AIMS: To investigate the effect of pelvic floor muscle training (PFMT) taught in a general exercise class during pregnancy on the prevention of urinary incontinence (UI) in nulliparous continent pregnant women. METHODS: This was a unicenter two armed randomized controlled trial. One hundred sixty-nine women were randomized by a central computer system to an exercise group (EG) (exercise class including PFMT) (n = 73) or a control group (CG) (n = 96). 10.1% loss to follow-up: 10 from EG and 7 from CG. The intervention consisted of 70-75 sessions (22 weeks, three times per week, 55-60 min/session including 10 min of PFMT). The CG received usual care (which included follow up by midwifes including information about PFMT). Questions on prevalence and degree of UI were posed before (week 10-14) and after intervention (week 36-39) using the International Consultation on Incontinence Questionnaire-Urinary Incontinence Short Form (ICIQ-UI SF). RESULTS: At the end of the intervention, there was a statistically significant difference in favor of the EG. Reported frequency of UI [Never: CG: 54/60.7%, EG: 60/95.2% (P < 0.001)]. Amount of leakage [None: CG: 45/60.7%, EG: 60/95.2% (P < 0.001)]. There was also a statistically significant difference in ICIQ-UI SF Score between groups after the intervention period [CG: 2.7 (SD 4.1), EG: 0.2 (SD 1.2) (P < 0.001)]. The estimated effect size was 0.8. CONCLUSION: PFMT taught in a general exercise class three times per week for at least 22 weeks, without former assessment of ability to perform a correct contraction was effective in primary prevention of UI in primiparous pregnant women.

Operational Aspects of Full Reduction in Lambda Calculi

Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 En esencia, la reducción plena consiste en evaluar los cuerpos de las funciones en los lenguajes de programación funcional con ligaduras. Se toma el cálculo lambda clásico (i.e., puro y sin tipos) como el sistema formal que modela el paradigma de programación funcional. La reducción plena es una técnica fundamental cuando se considera a los programas como datos, por ejemplo para la optimización de programas mediante evaluación parcial, o cuando algún atributo del programa se representa a su vez por un programa, como el tipo en los demostradores automáticos de teoremas actuales. Muchas semánticas operacionales que realizan reducción plena tienen naturaleza híbrida. Se introduce formalmente la noción de naturaleza híbrida, que constituye el hilo conductor de todo el trabajo. En el cálculo lambda la naturaleza híbrida se manifiesta como una ‘distinción de fase’ en el tratamiento de las abstracciones, ya sean consideradas desde fuera o desde dentro de si mismas. Esta distinción de fase conlleva una estructura en capas en la que una semántica híbrida depende de una o más semánticas subsidiarias. Desde el punto de vista de los lenguajes de programación, la tesis muestra como derivar, mediante técnicas de transformación de programas, implementaciones de semánticas operacionales que reducen plenamente a partir de sus especificaciones. Las técnicas de transformación de programas consisten en transformaciones sintácticas que preservan la equivalencia semántica de los programas. Se ajustan las técnicas de transformación de programas existentes para trabajar con implementaciones de semánticas híbridas. Además, se muestra el impacto que tiene la reducción plena en las implementaciones que utilizan entornos. Los entornos son un ingrediente fundamental en las implementaciones realistas de una máquina abstracta. Desde el punto de vista de los sistemas formales, la tesis desvela una teoría novedosa para el cálculo lambda con paso por valor (‘call-by-value lambda calculus’ en inglés) que es consistente con la reducción plena. Dicha teoría induce una noción de equivalencia observacional que distingue más puntos que las teorías existentes para dicho cálculo. Esta contribución ayuda a establecer una ‘teoría estándar’ en el cálculo lambda con paso por valor que es análoga a la ‘teoría estándar’ del cálculo lambda clásico propugnada por Barendregt. Se presentan resultados de teoría de la demostración, y se sugiere como abordar el estudio de teoría de modelos. ABSTRACT This thesis studies full reduction in lambda calculi. In a nutshell, full reduction consists in evaluating the body of the functions in a functional programming language with binders. The classical (i.e., pure untyped) lambda calculus is set as the formal system that models the functional paradigm. Full reduction is a prominent technique when programs are treated as data objects, for instance when performing optimisations by partial evaluation, or when some attribute of the program is represented by a program itself, like the type in modern proof assistants. A notable feature of many full-reducing operational semantics is its hybrid nature, which is introduced and which constitutes the guiding theme of the thesis. In the lambda calculus, the hybrid nature amounts to a ‘phase distinction’ in the treatment of abstractions when considered either from outside or from inside themselves. This distinction entails a layered structure in which a hybrid semantics depends on one or more subsidiary semantics. From a programming languages standpoint, the thesis shows how to derive implementations of full-reducing operational semantics from their specifications, by using program transformations techniques. The program transformation techniques are syntactical transformations which preserve the semantic equivalence of programs. The existing program transformation techniques are adjusted to work with implementations of hybrid semantics. The thesis also shows how full reduction impacts the implementations that use the environment technique. The environment technique is a key ingredient of real-world implementations of abstract machines which helps to circumvent the issue with binders. From a formal systems standpoint, the thesis discloses a novel consistent theory for the call-by-value variant of the lambda calculus which accounts for full reduction. This novel theory entails a notion of observational equivalence which distinguishes more points than other existing theories for the call-by-value lambda calculus. This contribution helps to establish a ‘standard theory’ in that calculus which constitutes the analogous of the ‘standard theory’ advocated by Barendregt in the classical lambda calculus. Some prooftheoretical results are presented, and insights on the model-theoretical study are given.

Typing of urinary JC virus DNA offers a novel means of tracing human migrations

Although polyomavirus JC (JCV) is the proven pathogen of progressive multifocal leukoencephalopathy, the fatal demyelinating disease, this virus is ubiquitous as a usually harmless symbiote among human beings. JCV propagates in the adult kidney and excretes its progeny in urine, from which JCV DNA can readily be recovered. The main mode of transmission of JCV is from parents to children through long cohabitation. In this study, we collected a substantial number of urine samples from native inhabitants of 34 countries in Europe, Africa, and Asia. A 610-bp segment of JCV DNA was amplified from each urine sample, and its DNA sequence was determined. A worldwide phylogenetic tree subsequently constructed revealed the presence of nine subtypes including minor ones. Five subtypes (EU, Af2, B1, SC, and CY) occupied rather large territories that overlapped with each other at their boundaries. The entire Europe, northern Africa, and western Asia were the domain of EU, whereas the domain of Af2 included nearly all of Africa and southwestern Asia all the way to the northeastern edge of India. Partially overlapping domains in Asia were occupied by subtypes B1, SC, and CY. Of particular interest was the recovery of JCV subtypes in a pocket or pockets that were separated by great geographic distances from the main domains of those subtypes. Certain of these pockets can readily be explained by recent migrations of human populations carrying these subtypes. Overall, it appears that JCV genotyping promises to reveal previously unknown human migration routes: ancient as well as recent.