Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]

In previous work, an attempt was made to apply the schematic CERES method [8] to a formal proof with an arbitrary number of {\Pi} 2 cuts (a recursive proof encapsulating the infinitary pigeonhole principle) [5]. However the derived schematic refutation for the characteristic clause set of the proof could not be expressed in the formal language provided in [8]. Without this formalization a Herbrand system cannot be algorithmically extracted. In this work, we provide a restriction of the proof found in [5], the ECA-schema (Eventually Constant Assertion), or ordered infinitary pigeonhole principle, whose analysis can be completely carried out in the framework of [8], this is the first time the framework is used for proof analysis. From the refutation of the clause set and a substitution schema we construct a Herbrand system.Comment: Submitted to IJCAR 2016. Will be a reference for Appendix material in that paper. arXiv admin note: substantial text overlap with arXiv:1503.0855

Characterization of the components of the thioredoxin system in Bacteroides fragilis and evaluation of its activity during oxidative stress

Objectives: Bacteroides fragilis has a pronounced ability to survive prolonged exposure to atmospheric oxygen. The major objective of this study was to biochemically characterize the components of the thioredoxin system in B. fragilis. The nitroreductase activity of TrxR was also assayed. Methods: Components of the thioredoxin system were expressed in E. coli and used in a disulfide reductase activity assay. Activity of TrxR was measured with purified recombinant enzyme or with cell extracts after or without exposure to oxygen or hydrogen peroxide, respectively. Results: Of all six thioredoxins tested, only thioredoxins A, D, and F were reduced by recombinant TrxR and natural TrxR present in B. fragilis cell extracts. Exposure to oxygen and hydrogen peroxide increased the activity of TrxR. Further, B. fragilis TrxR acts as a nitroreductase with furazolidone or 1-Chloro-2,4dinitrobenzene as substrates but cannot reduce metronidazole. Conclusion: TrxR shows an increase in activity under the conditions of oxidative stress and exerts nitroreductase activity. (c) 2021 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/)

Haemin deprivation renders Bacteroides fragilis hypersusceptible to metronidazole and cancels high-level metronidazole resistance

Background Infections with Bacteroides fragilis are routinely treated with metronidazole, a 5-nitroimidazole antibiotic that is active against most anaerobic microorganisms. Metronidazole has remained a reliable treatment option, but resistance does occur, including in B. fragilis. Objectives In this study we tested whether haemin, a growth supplement for B. fragilis in vivo and in vitro, had an influence on the susceptibility of resistant B. fragilis strains to metronidazole. We further tested whether haemin-deprived B. fragilis would be more susceptible to oxygen and oxidative stress. Metronidazole has been described to cause oxidative stress, which we argued would be exacerbated in haemin-deprived B. fragilis because the bacteria harness haemin, and the iron released from it, in antioxidant enzymes such as catalase and superoxide dismutase. Methods Haemin was omitted from growth media and the effect on metronidazole susceptibility was monitored in susceptible and resistant B. fragilis strains. Further, haemin-deprived B. fragilis were tested for resistance to aeration and hydrogen peroxide and the capacity for the removal of oxygen. Results Omission of haemin from the growth medium rendered metronidazole-resistant B. fragilis strains, including an MDR isolate from the UK, highly susceptible to metronidazole. Haemin deprivation further rendered B. fragilis highly susceptible to oxygen, which was further exacerbated in resistant strains. B. fragilis was incapable of scavenging oxygen when haemin was omitted. Conclusions We propose that haemin deprivation overrules resistance mechanisms by rendering B. fragilis hypersusceptible to metronidazole due to a compromised antioxidant defence. Monitoring of haemin concentrations is imperative when conducting metronidazole susceptibility testing in B. fragilis

Proteomic analysis of metronidazole resistance in the human facultative pathogen Bacteroides fragilis

The anaerobic gut bacteria and opportunistic pathogen Bacteroides fragilis can cause life-threatening infections when leaving its niche and reaching body sites outside of the gut. The antimicrobial metronidazole is a mainstay in the treatment of anaerobic infections and also highly effective against Bacteroides spp. Although resistance rates have remained low in general, metronidazole resistance does occur in B . fragilis and can favor fatal disease outcomes. Most metronidazole-resistant Bacteroides isolates harbor nim genes, commonly believed to encode for nitroreductases which deactivate metronidazole. Recent research, however, suggests that the mode of resistance mediated by Nim proteins might be more complex than anticipated because they affect the cellular metabolism, e.g., by increasing the activity of pyruvate:ferredoxin oxidoreductase (PFOR). Moreover, although nim genes confer only low-level metronidazole resistance to Bacteroides , high-level resistance can be much easier induced in the laboratory in the presence of a nim gene than without. Due to these observations, we hypothesized that nim genes might induce changes in the B . fragilis proteome and performed comparative mass-spectrometric analyses with B . fragilis 638R, either with or without the nimA gene. Further, we compared protein expression profiles in both strains after induction of high-level metronidazole resistance. Interestingly, only few proteins were repeatedly found to be differentially expressed in strain 638R with the nimA gene, one of them being the flavodiiron protein FprA, an enzyme involved in oxygen scavenging. After induction of metronidazole resistance, a far higher number of proteins were found to be differentially expressed in 638R without nimA than in 638R with nimA . In the former, factors for the import of hemin were strongly downregulated, indicating impaired iron import, whereas in the latter, the observed changes were not only less numerous but also less specific. Both resistant strains, however, displayed a reduced capability of scavenging oxygen. Susceptibility to metronidazole could be widely restored in resistant 638R without nimA by supplementing growth media with ferrous iron sulfate, but not so in resistant 638R with the nimA gene. Finally, based on the results of this study, we present a novel hypothetic model of metronidazole resistance and NimA function

Initial expression levels of nimA are decisive for protection against metronidazole in Bacteroides fragilis

Objectives: In the genus Bacteroides, the nim genes are resistance determinants for metronidazole, a nitroimidazole drug widely used against anaerobic pathogens. The Nim proteins are considered to act as nitroreductases. However, data from several studies suggest that the expression levels of Nim do not increase with increasing resistance which is conflicting with this notion. The impact of Nim protein levels on low-level metronidazole resistance, however, representing the early stage of induced resistance in the laboratory, has not been assessed as yet.Methods: The nimA gene was cloned into two different plasmids and introduced into B. fragilis strain 638R. Expression levels of nimA mRNA were measured by RT-qPCR and compared to those in strain 638R harbouring plasmid pI417, the original clinical plasmid harbouring IS element IS1168 with the nimA gene. Further, metronidazole susceptibility was assessed by Etest and the activity of pyruvate:ferredoxin oxidoreductase (PFOR) was measured in all strains after induction of high-level metronidazole resistance.Results: The level of protection against metronidazole by nimA correleated with the level of expression of nimA mRNA. Further, the activity of PFOR in highly-resistant B. fragilis 638R was only preserved when expression levels of nimA were high.Conclusions: Although the development of high-level metronidazole resistance in B. fragilis strains with a nimA gene is not caused by an increase of nimA expression as compared to the less resistant parent strains, nimA expression levels might be of decisive importance in the early stage of resistance devel-opment. This has potential implications for metronidazole resistance in clinical isolates.(c) 2022 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/)

Acanthamoeba castellanii : growth on human cell layers reactivates attenuated properties after prolonged axenic culture

The free-living, but potentially pathogenic, bacteriovorous amoebae of the genus Acanthamoeba can be easily grown axenically in a laboratory culture. This, however, often leads to considerable losses in virulence, and encystment capacity, and to changes in drug susceptibility. We evaluated potential options for a reactivation of a number of physiological properties, attenuated by prolonged axenic laboratory culture, including encystment potential, protease activity, heat resistance, growth rates and drug susceptibility against N-chlorotaurine (NCT). Toward this end, a strain that had been grown axenically for 10 years was repeatedly passaged on human HEp-2 cell monolayers or treated with 5′-azacytidine (AzaC), a methyltransferase inhibitor, and trichostatin A (TSA), a histone deacetylase inhibitor, in order to uplift epigenetic gene regulation. Culture on human cell monolayers resulted in significantly enhanced encystment potentials and protease activities, and higher susceptibility against NCT, whereas the resistance against heat shock was not altered. Treatment with AzaC/TSA resulted in increased encystment rates and protease activities, indicating the participation of epigenetic mechanisms. However, lowered resistances against heat shock indicate that possible stress responses to AzaC/TSA have to be taken into account. Repeated growth on human cell monolayers appears to be a potential method to reactivate attenuated characteristics in Acanthamoeba

Proteomic analysis of metronidazole resistance in the human facultative pathogen Bacteroides fragilis

The anaerobic gut bacteria and opportunistic pathogen Bacteroides fragilis can cause life-threatening infections when leaving its niche and reaching body sites outside of the gut. The antimicrobial metronidazole is a mainstay in the treatment of anaerobic infections and also highly effective against Bacteroides spp. Although resistance rates have remained low in general, metronidazole resistance does occur in B. fragilis and can favor fatal disease outcomes. Most metronidazole-resistant Bacteroides isolates harbor nim genes, commonly believed to encode for nitroreductases which deactivate metronidazole. Recent research, however, suggests that the mode of resistance mediated by Nim proteins might be more complex than anticipated because they affect the cellular metabolism, e.g., by increasing the activity of pyruvate:ferredoxin oxidoreductase (PFOR). Moreover, although nim genes confer only low-level metronidazole resistance to Bacteroides, high-level resistance can be much easier induced in the laboratory in the presence of a nim gene than without. Due to these observations, we hypothesized that nim genes might induce changes in the B. fragilis proteome and performed comparative mass-spectrometric analyses with B. fragilis 638R, either with or without the nimA gene. Further, we compared protein expression profiles in both strains after induction of high-level metronidazole resistance. Interestingly, only few proteins were repeatedly found to be differentially expressed in strain 638R with the nimA gene, one of them being the flavodiiron protein FprA, an enzyme involved in oxygen scavenging. After induction of metronidazole resistance, a far higher number of proteins were found to be differentially expressed in 638R without nimA than in 638R with nimA. In the former, factors for the import of hemin were strongly downregulated, indicating impaired iron import, whereas in the latter, the observed changes were not only less numerous but also less specific. Both resistant strains, however, displayed a reduced capability of scavenging oxygen. Susceptibility to metronidazole could be widely restored in resistant 638R without nimA by supplementing growth media with ferrous iron sulfate, but not so in resistant 638R with the nimA gene. Finally, based on the results of this study, we present a novel hypothetic model of metronidazole resistance and NimA function

Nitroimidazole Action in Entamoeba histolytica: A Central Role for Thioredoxin Reductase

Metronidazole, a 5-nitroimidazole drug, has been the gold standard for several decades in the treatment of infections with microaerophilic protist parasites, including Entamoeba histolytica. For activation, the drug must be chemically reduced, but little is known about the targets of the active metabolites. Applying two-dimensional gel electrophoresis and mass spectrometry, we searched for protein targets in E. histolytica. Of all proteins visualized, only five were found to form adducts with metronidazole metabolites: thioredoxin, thioredoxin reductase, superoxide dismutase, purine nucleoside phosphorylase, and a previously unknown protein. Recombinant thioredoxin reductase carrying the modification displayed reduced enzymatic activity. In treated cells, essential non-protein thiols such as free cysteine were also affected by covalent adduct formation, their levels being drastically reduced. Accordingly, addition of cysteine allowed E. histolytica to survive in the presence of otherwise lethal metronidazole concentrations and reduced protein adduct formation. Finally, we discovered that thioredoxin reductase reduces metronidazole and other nitro compounds, suggesting a new model of metronidazole activation in E. histolytica with a central role for thioredoxin reductase. By reducing metronidazole, the enzyme renders itself and associated thiol-containing proteins vulnerable to adduct formation. Because thioredoxin reductase is a ubiquitous enzyme, similar processes could occur in other eukaryotic or prokaryotic organisms

The Role of Individual Variables, Organizational Variables and Moral Intensity Dimensions in Libyan Management Accountants’ Ethical Decision Making

This study investigates the association of a broad set of variables with the ethical decision making of management accountants in Libya. Adopting a cross-sectional methodology, a questionnaire including four different ethical scenarios was used to gather data from 229 participants. For each scenario, ethical decision making was examined in terms of the recognition, judgment and intention stages of Rest’s model. A significant relationship was found between ethical recognition and ethical judgment and also between ethical judgment and ethical intention, but ethical recognition did not significantly predict ethical intention—thus providing support for Rest’s model. Organizational variables, age and educational level yielded few significant results. The lack of significance for codes of ethics might reflect their relative lack of development in Libya, in which case Libyan companies should pay attention to their content and how they are supported, especially in the light of the under-development of the accounting profession in Libya. Few significant results were also found for gender, but where they were found, males showed more ethical characteristics than females. This unusual result reinforces the dangers of gender stereotyping in business. Personal moral philosophy and moral intensity dimensions were generally found to be significant predictors of the three stages of ethical decision making studied. One implication of this is to give more attention to ethics in accounting education, making the connections between accounting practice and (in Libya) Islam. Overall, this study not only adds to the available empirical evidence on factors affecting ethical decision making, notably examining three stages of Rest’s model, but also offers rare insights into the ethical views of practising management accountants and provides a benchmark for future studies of ethical decision making in Muslim majority countries and other parts of the developing world