Studies of the nature of Burkholderia cepacia in cystic fibrosis

Burkholderia cepacia is an opportunistic pathogen that colonises of the lungs of cystic fibrosis (CF) patients, with a frequently fatal outcome. Antibiotic resistance is common and highly transmissible epidemic strains have been described in the UK. 37 B. cepacia isolates from clinical and botanical sources were characterised via metabolic capabilities, antibiotic sensitivity, fatty acid methyl ester (FAME) profiles restriction digest analysis of chromosomal DNA by pulsed-gel electrophoresis (PFGE) (with the use of two separate restriction enzymes) and outer membrane protein (OMP) profiles. This revealed isolates of the UK CF epidemic strain to form a distinct group with a specific OMP profile. Cluster analysis of PFGE and FAME profiles revealed the species Burkholderia gladioli and Burkholderia vietnamiensis to be more closely related to each other and to laboratory strains of B. cepacia than to the CF epidemic strain considered a member of the latter species. The epidemic strain of B. cepacia may therefore be worthy of species definition in its own right. All the strains studied showed a high level of resistance to antibiotics, including the carbapenems. Considering this, carbapenemase production by isolates of B. cepacia was investigated. A metallo-β-lactamase from a clinical strain of B. cepacia was isolated and partially purified of using Cibacron blue F3GA-coupled agarose. The resulting preparation showed a single band of β-lactamase activity (pI 8.45) after analytical isoelectric focusing. The enzyme was particularly effective in the hydrolysis of imipenem. Meropenem, biapenem, cephaloridine, ceftazidime, benzylpenicillin, ampicillin and carbenicillin were hydrolysed at a lower rate. An unusual inhibition profile was noted. Inhibition by the metal ion chelators ethylene diamine tetra acetic acid and o-phenanthroline was reversed by addition of zinc, indicating a metallo-enzyme, whilst >90% inhibition was attainable with 0.1mM concentrations of tazobactam and clavulanic acid. A study of 8 other clinical isolates showed an enzyme of pI 8.45 to be present and inducible by imipenem in each case. This enzyme was assigned PCM-I (Pseudomonas cepacia metalloenzyme I).

Software and hardware aspects of a microprocessor controlled lathe

A small lathe has been modified to work under microprocessor control to enhance the facilities which the lathe offers and provide a wider operating range with relevant economic gains. The result of these modifications give better operating system characteristics. A system of electronic circuits have been developed, utilising the latest technology, to replace the pegboard with the associated obsolete electrical components. Software for the system includes control programmes for the implementation of the original pegboard operation and several sample machine code programmes are included, covering a wide spectrum of applications, including diagnostic testing of the control system. It is concluded that it is possible to carry out a low cost retrofit on existing machine tools to enhance their range of capabilities.

An investigation into the steady state performance of several methods of series compensating electricity transmission lines

There are several methods of providing series compensation for transmission lines using power electronic switches. Four methods of series compensation have been examined in this thesis, the thyristor controlled series capacitor, a voltage sourced inverter series compensator using a capacitor as the series element, a current sourced inverter series compensator and a voltage sourced inverter using an inductor as the series element. All the compensators examined will provide a continuously variable series voltage which is controlled by the switching of the electronic switches. Two of the circuits will offer both capacitive and inductive compensation, the thyristor controlled series capacitor and the current sourced inverter series compensator. The other two will produce either capacitive or inductive series compensation. The thyristor controlled series capacitor offers the widest range of series compensation. However, there is a band of unavailable compensation between 0 and 1 pu capacitive compensation. Compared to the other compensators examined the harmonic content of the compensating voltage is quite high. An algebraic analysis showed that there is more than one state the thyristor controlled series capacitor can operate in. This state has the undesirable effect of introducing large losses. The voltage sourced inverter series compensator using a capacitor as the series element will provide only capacitive compensation. It uses two capacitors which increase the cost of the compensator significantly above the other three. This circuit has the advantage of very low harmonic distortion. The current sourced inverter series compensator will provide both capacitive and inductive series compensation. The harmonic content of the compensating voltage is second only to the voltage sourced inverter series compensator using a capacitor as the series element. The voltage sourced inverter series compensator using an inductor as the series element will only provide inductive compensation, and it is the least expensive compensator examined. Unfortunately, the harmonics introduced by this circuit are considerable.

Role of reactive oxygen species in protein degradation in murine myotubes induced by proteolysis-inducing factor and angiotensin II

The antioxidants butylated hydroxytoluene (BHT, 1 mM) and d-α-tocopherol (10 μM) completely attenuated protein degradation in murine myotubes in response to both proteolysis-inducing factor (PIF) and angiotensin II (Ang II), suggesting that the formation of reactive oxygen species (ROS) plays an important role in this process. Both PIF and Ang II induced a rapid and transient increase in ROS formation in myotubes, which followed a parabolic dose-response curve, similar to that for total protein degradation. Antioxidant treatment attenuated the increase in expression and activity of the ubiquitin-proteasome proteolytic pathway by PIF and Ang II, by preventing the activation of the transcription factor nuclear factor-κB (NF-κB), through inhibition of phosphorylation of the NF-κB inhibitor protein (I-κB) and its subsequent degradation. ROS formation by both PIF and Ang II was attenuated by diphenyleneiodonium (10 μM), suggesting that it was mediated through the NADPH oxidase system. ROS formation was also attenuated by trifluoroacetyl arachidonic acid (10 μM), a specific inhibitor of cytosolic phospholipase A2, U-73122 (5 μM) and D609 (200 μM), inhibitors of phospholipase C and calphostin C (300 nM), a highly specific inhibitor of protein kinase C (PKC), all known activators of NADPH oxidase. Myotubes containing a dominant-negative mutant of PKC did not show an increase in ROS formation in response to either PIF or Ang II. The two Rac1 inhibitors W56 (200 μM) and NSC23766 (10 μM) also attenuated both ROS formation and protein degradation induced by both PIF and Ang II. Rac1 is known to mediate signalling between the phosphatidylinositol-3 kinase (PI-3K) product and NADPH oxidase, and treatment with LY24002 (10 μM), a highly selective inhibitor of PI-3K, completely attenuated ROS production in response to both PIF and Ang II, and inhibited total protein degradation, while the inactive analogue LY303511 (100 μM) had no effect. ROS formation appears to be important in muscle atrophy in cancer cachexia, since treatment of weight losing mice bearing the MAC16 tumour with d-α-tocopherol (1 mg kg- 1) attenuated protein degradation and increased protein synthesis in skeletal muscle. © 2007 Elsevier Inc. All rights reserved.

Characterization of tissue transglutaminase in human osteoblast-like cells

Tissue transglutaminase (tTG) is a calcium-dependent and guanosine 5'-triphosphate (GTP) binding enzyme, which catalyzes the post-translational modification of proteins by forming intermolecular ε(ϒ-glutamyl)lysine cross-links. In this study, human osteoblasts (HOBs) isolated from femoral head trabecular bone and two osteosarcoma cell lines (HOS and MG-63) were studied for their expression and localization of tTG. Quantitative evaluation of transglutaminase (TG) activity determined using the [1,414C]-putrescine incorporation assay showed that the enzyme was active in all cell types. However, there was a significantly higher activity in the cell homogenates of MG-63 cells as compared with HOB and HOS cells (p <0.001). There was no significant difference between the activity of the enzyme in HOB and HOS cells. All three cell types also have a small amount of active TG on their surface as determined by the incorporation of biotinylated cadaverine into fibronectin. Cell surface-related tTG was further shown by preincubation of cells with tTG antibody, which led to inhibition of cell attachment. Western blot analysis clearly indicated that the active TG was tTG and immunocytochemistry showed it be situated in the cytosol of the cells. In situ extracellular enzyme activity also was shown by the cell-mediated incorporation of fluorescein cadaverine into extracellular matrix (ECM) proteins. These results clearly showed that MG-63 cells have high extracellular activity, which colocalized with the ECM protein fibronectin and could be inhibited by the competitive primary amine substrate putrescine. The contribution of tTG to cell surface/matrix interactions and to the stabilization of the ECM of osteoblast cells therefore could by an important factor in the cascade of events leading to bone differentiation and mineralization.

Activation of protein kinase B by adenosine A1 and A3 receptors in newborn rat cardiomyocytes

It is well established that adenosine receptors are involved in cardioprotection and that protein kinase B (PKB) is associated with cell survival. Therefore, in this study we have investigated whether adenosine receptors (A1, A2A and A3) activate PKB by Western blotting and determined the involvement of phosphatidylinositol 3-kinase (PI-3K)/PKB in adenosine-induced preconditioning in cultured newborn rat cardiomyocytes. Adenosine (non-selective agonist), CPA (A1 selective agonist) and Cl-IB-MECA (A(3) selective agonist) all increased PKB phosphorylation in a time- and concentration-dependent manner. The combined maximal response to CPA and Cl-IB-MECA was similar to the increase in PKB phosphorylation induced by adenosine alone. CGS 21680 (A2A selective agonist) did not stimulate an increase in PKB phosphorylation. Adenosine, CPA and Cl-IB-MECA-mediated PKB phosphorylation were inhibited by pertussis toxin (PTX blocks G(i)/G(o)-protein), genistein (tyrosine kinase inhibitor), PP2 (Src tyrosine kinase inhibitor) and by the epidermal growth factor (EGF) receptor tyrosine kinase inhibitor AG 1478. The PI-3K inhibitors wortmannin and LY 294002 blocked A(1) and A(3) receptor-mediated PKB phosphorylation. The role of PI-3K/PKB in adenosine-induced preconditioning was assessed by monitoring Caspase 3 activity and lactate dehydrogenase (LDH) release induced by exposure of cardiomyocytes to 4 h hypoxia (0.5% O2) followed by 18 h reoxygenation (HX4/R). Pre-treatment with wortmannin had no significant effect on the ability of adenosine-induced preconditioning to reduce the release of LDH or Caspase 3 activation following HX4/R. In conclusion, we have shown for the first time that adenosine A1 and A3 receptors trigger increases in PKB phosphorylation in rat cardiomyocytes via a G1/G0-protein and tyrosine kinase-dependent pathway. However, the PI-3K/PKB pathway does not appear to be involved in adenosine-induced cardioprotection by preconditioning Adenosine A1 receptor .

Novel design of FBG-based composite double notch VSB filter for DWDM systems

This paper proposes a novel design of optical filters based on a cascade of tailored fiber Bragg gratings (FBGs) operating in the transmission regime. As an example of the application of the proposed general technique, ultranarrow optical vestigial sideband (VSB) filtering based on two FBGs operating in the transmission regime was examined. This design can be easily implemented by writing FBG-based filters for each wavelengthdivision-multiplexing channel before multiplexing. © 2006 IEEE.

Predicting the effect of mixing on oxygen transfer and nutrient removal in activated sludge basins

Activated sludge basins (ASBs) are a key-step in wastewater treatment processes that are used to eliminate biodegradable pollution from the water discharged to the natural environment. Bacteria found in the activated sludge consume and assimilate nutrients such as carbon, nitrogen and phosphorous under specific environmental conditions. However, applying the appropriate agitation and aeration regimes to supply the environmental conditions to promote the growth of the bacteria is not easy. The agitation and aeration regimes that are applied to activated sludge basins have a strong influence on the efficacy of wastewater treatment processes. The major aims of agitation by submersible mixers are to improve the contact between biomass and wastewater and the prevention of biomass settling. They induce a horizontal flow in the oxidation ditch, which can be quantified by the mean horizontal velocity. Mean values of 0.3-0.35 m s-1 are recommended as a design criteria to ensure best conditions for mixing and aeration (Da Silva, 1994). To give circulation velocities of this order of magnitude, the positioning and types of mixers are chosen from the plant constructors' experience and the suppliers' data for the impellers. Some case studies of existing plants have shown that measured velocities were not in the range that was specified in the plant design. This illustrates that there is still a need for design and diagnosis approach to improve process reliability by eliminating or reducing the number of short circuits, dead zones, zones of inefficient mixing and poor aeration. The objective of the aeration is to facilitate the quick degradation of pollutants by bacterial growth. To achieve these objectives a wastewater treatment plant must be adequately aerated; thus resulting in 60-80% of all energetic consummation being dedicated to the aeration alone (Juspin and Vasel, 2000). An earlier study (Gillot et al., 1997) has illustrated the influence that hydrodynamics have on the aeration performance as measure by the oxygen transfer coefficient. Therefore, optimising the agitation and aeration systems can enhance the oxygen transfer coefficient and consequently reduce the operating costs of the wastewater treatment plant. It is critically important to correctly estimate the mass transfer coefficient as any errors could result in the simulations of biological activity not being physically representative. Therefore, the transfer process was rigorously examined in several different types of process equipment to determine the impact that different hydrodynamic regimes and liquid-side film transfer coefficients have on the gas phase and the mass transfer of oxygen. To model the biological activity occurring in ASBs, several generic biochemical reaction models have been developed to characterise different biochemical reaction processes that are known as Activated Sludge Models, ASM (Henze et al., 2000). The ASM1 protocol was selected to characterise the impact of aeration on the bacteria consuming and assimilating ammonia and nitrate in the wastewater. However, one drawback of ASM protocols is that the hydrodynamics are assumed to be uniform by the use of perfectly mixed, plug flow reactors or as a number of perfectly mixed reactors in series. This makes it very difficult to identify the influence of mixing and aeration on oxygen mass transfer and biological activity. Therefore, to account for the impact of local gas-liquid mixing regime on the biochemical activity Computational Fluid Dynamics (CFD) was used by applying the individual ASM1 reaction equations as the source terms to a number of scalar equations. Thus, the application of ASM1 to CFD (FLUENT) enabled the investigation of the oxygen transfer efficiency and the carbon & nitrogen biological removal in pilot (7.5 cubic metres) and plant scale (6000 cubic metres) ASBs. Both studies have been used to validate the effect that the hydrodynamic regime has on oxygen mass transfer (the circulation velocity and mass transfer coefficient) and the effect that this had on the biological activity on pollutants such as ammonia and nitrate (Cartland Glover et al., 2005). The work presented here is one part to of an overall approach for improving the understanding of ASBs and the impact that they have in terms of the hydraulic and biological performance on the overall wastewater treatment process. References CARTLAND GLOVER G., PRINTEMPS C., ESSEMIANI K., MEINHOLD J., (2005) Modelling of wastewater treatment plants ? How far shall we go with sophisticated modelling tools? 3rd IWA Leading-Edge Conference & Exhibition on Water and Wastewater Treatment Technologies, 6-8 June 2005, Sapporo, Japan DA SILVA G. (1994). Eléments d'optimisation du transfert d'oxygène par fines bulles et agitateur séparé en chenal d'oxydation. PhD Thesis. CEMAGREF Antony ? France. GILLOT S., DERONZIER G., HEDUIT A. (1997). Oxygen transfer under process conditions in an oxidation ditch equipped with fine bubble diffusers and slow speed mixers. WEFTEC, Chicago, USA. HENZE M., GUJER W., MINO T., van LOOSDRECHT M., (2000). Activated Sludge Models ASM1, ASM2, ASM2D and ASM3, Scientific and Technical Report No. 9. IWA Publishing, London, UK. JUSPIN H., VASEL J.-L. (2000). Influence of hydrodynamics on oxygen transfer in the activated sludge process. IWA, Paris - France.

A proteo-liposome system for the analysis of the intracellular interactome of membrane proteins using amyloid precursor protein as a model

Transmembrane proteins play crucial roles in many important physiological processes. The intracellular domain of membrane proteins is key for their function by interacting with a wide variety of cytosolic proteins. It is therefore important to examine this interaction. A recently developed method to study these interactions, based on the use of liposomes as a model membrane, involves the covalent coupling of the cytoplasmic domains of membrane proteins to the liposome membrane. This allows for the analysis of interaction partners requiring both protein and membrane lipid binding. This thesis further establishes the liposome recruitment system and utilises it to examine the intracellular interactome of the amyloid precursor protein (APP), most well-known for its proteolytic cleavage that results in the production and accumulation of amyloid beta fragments, the main constituent of amyloid plaques in Alzheimer’s disease pathology. Despite this, the physiological function of APP remains largely unclear. Through the use of the proteo-liposome recruitment system two novel interactions of APP’s intracellular domain (AICD) are examined with a view to gaining a greater insight into APP’s physiological function. One of these novel interactions is between AICD and the mTOR complex, a serine/threonine protein kinase that integrates signals from nutrients and growth factors. The kinase domain of mTOR directly binds to AICD and the N-terminal amino acids of AICD are crucial for this interaction. The second novel interaction is between AICD and the endosomal PIKfyve complex, a lipid kinase involved in the production of phosphatidylinositol-3,5-bisphosphate (PI(3,5)P2) from phosphatidylinositol-3-phosphate, which has a role in controlling ensdosome dynamics. The scaffold protein Vac14 of the PIKfyve complex binds directly to AICD and the C-terminus of AICD is important for its interaction with the PIKfyve complex. Using a recently developed intracellular PI(3,5)P2 probe it is shown that APP controls the formation of PI(3,5)P2 positive vesicular structures and that the PIKfyve complex is involved in the trafficking and degradation of APP. Both of these novel APP interactors have important implications of both APP function and Alzheimer’s disease. The proteo-liposome recruitment method is further validated through its use to examine the recruitment and assembly of the AP-2/clathrin coat from purified components to two membrane proteins containing different sorting motifs. Taken together this thesis highlights the proteo-liposome recruitment system as a valuable tool for the study of membrane proteins intracellular interactome. It allows for the mimicking of the protein in its native configuration therefore identifying weaker interactions that are not detected by more conventional methods and also detecting interactions that are mediated by membrane phospholipids.

Transient reconfigurable subangstrom-precise photonic circuits at the optical fiber surface

Transient fully reconfigurable photonic circuits can be introduced at the optical fiber surface with subangstrom precision. A building block of these circuits - a 0.7Å-precise nano-bottle resonator - is experimentally created by local heating, translated, and annihilated.

A cell-permeable tool for analysing APP intracellular domain function and manipulation of PIKfyve activity

The mechanisms for regulating PIKfyve complex activity are currently emerging. The PIKfyve complex, consisting of the phosphoinositide kinase PIKfyve (also known as FAB1), VAC14 and FIG4, is required for the production of phosphatidylinositol-3,5-bisphosphate (PI(3,5)P2). PIKfyve function is required for homeostasis of the endo/lysosomal system and is crucially implicated in neuronal function and integrity, as loss of function mutations in the PIKfyve complex lead to neurodegeneration in mouse models and human patients. Our recent work has shown that the intracellular domain of the Amyloid Precursor Protein (APP), a molecule central to the aetiology of Alzheimer's disease binds to VAC14 and enhances PIKfyve function. Here we utilise this recent advance to create an easy-to-use tool for increasing PIKfyve activity in cells. We fused APP's intracellular domain (AICD) to the HIV TAT domain, a cell permeable peptide allowing proteins to penetrate cells. The resultant TAT-AICD fusion protein is cell permeable and triggers an increase of PI(3,5)P2. Using the PI(3,5)P2 specific GFP-ML1Nx2 probe we show that cell-permeable AICD alters PI(3,5)P2 dynamics. TAT-AICD also provides partial protection from pharmacological inhibition of PIKfyve. All three lines of evidence show that the APP intracellular domain activates the PIKfyve complex in cells, a finding that is important for our understanding of the mechanism of neurodegeneration in Alzheimer's disease.

Accurate estimation of isoelectric point of protein and peptide based on amino acid sequences

Motivation: In any macromolecular polyprotic system - for example protein, DNA or RNA - the isoelectric point - commonly referred to as the pI - can be defined as the point of singularity in a titration curve, corresponding to the solution pH value at which the net overall surface charge - and thus the electrophoretic mobility - of the ampholyte sums to zero. Different modern analytical biochemistry and proteomics methods depend on the isoelectric point as a principal feature for protein and peptide characterization. Protein separation by isoelectric point is a critical part of 2-D gel electrophoresis, a key precursor of proteomics, where discrete spots can be digested in-gel, and proteins subsequently identified by analytical mass spectrometry. Peptide fractionation according to their pI is also widely used in current proteomics sample preparation procedures previous to the LC-MS/MS analysis. Therefore accurate theoretical prediction of pI would expedite such analysis. While such pI calculation is widely used, it remains largely untested, motivating our efforts to benchmark pI prediction methods. Results: Using data from the database PIP-DB and one publically available dataset as our reference gold standard, we have undertaken the benchmarking of pI calculation methods. We find that methods vary in their accuracy and are highly sensitive to the choice of basis set. The machine-learning algorithms, especially the SVM-based algorithm, showed a superior performance when studying peptide mixtures. In general, learning-based pI prediction methods (such as Cofactor, SVM and Branca) require a large training dataset and their resulting performance will strongly depend of the quality of that data. In contrast with Iterative methods, machine-learning algorithms have the advantage of being able to add new features to improve the accuracy of prediction. Contact: yperez@ebi.ac.uk Availability and Implementation: The software and data are freely available at https://github.com/ypriverol/pIR. Supplementary information: Supplementary data are available at Bioinformatics online.

Cascading ecological effects of low-level phosphorus enrichment in the Florida Everglades

Few studies have examined long-term ecological effects of sustained low-level nutrient enhancement on wetland biota. To determine sustained effects of phosphorus (P) addition on Everglades marshes we added P at low levels (5, 15, and 30 µg L-1 above ambient) for 5 yr to triplicate 100-m flow-through channels in pristine marsh. A cascade of ecological responses occurred in similar sequence among treatments. Although the rate of change increased with dosing level, treatments converged to similar enriched endpoints, characterized most notably by a doubling of plant biomass and elimination of native, calcareous periphyton mats. The full sequence of biological changes occurred without an increase in water total P concentration, which remained near ambient levels until Year 5. This study indicates that Everglades marshes have a near-zero assimilative capacity for P without a state change, that ecosystem responses to enrichment accumulate over time, and that downstream P transport mainly occurs through biota rather than the water column.

Empowerment, social support, and self -esteem of parents involved in an elementary school program

Parent involvement (PI) in schooling has consistently been correlated with improved academic achievement in children. However, despite the apparent benefits of parent involvement, many schools serving low-income communities report consistent difficulty in facilitating the involvement of parents in their children's schooling. ^ The purpose of this exploratory pilot study was to examine key variables associated with a PI program at a school that served a low-income community. The program was selected because it sustained the involvement of parents for a prolonged period of time. It was also selected because the program was facilitated by social workers. ^ Derived from the literature, four lines of inquiry were examined: (a) the relationship between PI and parent strengths and development; (b) the relationship between PI and children's academic achievement; (c) facilitators for PI; and (d) barriers to PI. These lines of inquiry yielded the study's four primary research questions. The study employed a cross-sectional research design to address them. ^ Thirty-three parents, representing 16 school-involved (SI) parents and 17 non-school involved (NSI) parents, served as study participants. All 33 parents resided in a high poverty community. ^ Quantitative methods were selected to examine differences between study participants and PI. Measures of parental empowerment, social support, self-esteem, and direct and indirect measures of their children's academic achievement were utilized. Qualitative methods were developed to identify and describe SI and NSI parents' perceptions of facilitators for and barriers to PI. ^ This study's findings suggest that PI may yield important benefits for SI parents. These benefits include parents' perceptions of their empowerment, social support, and self-esteem. This study's findings also suggest a relationship between PI and reduced rates of children's school suspensions. This study did not, however, support relationships between PI and children's standardized test scores. This study concludes that despite the apparent benefits of PI for SI parents, PI may nonetheless be a proxy for several unspecified interventions that effect parents, children, schools and communities alike. More precise specifications and robust measures of PI are needed. ^

Foundations of quantitative information flow: Channels, cascades, and the information order

Secrecy is fundamental to computer security, but real systems often cannot avoid leaking some secret information. For this reason, the past decade has seen growing interest in quantitative theories of information flow that allow us to quantify the information being leaked. Within these theories, the system is modeled as an information-theoretic channel that specifies the probability of each output, given each input. Given a prior distribution on those inputs, entropy-like measures quantify the amount of information leakage caused by the channel. ^ This thesis presents new results in the theory of min-entropy leakage. First, we study the perspective of secrecy as a resource that is gradually consumed by a system. We explore this intuition through various models of min-entropy consumption. Next, we consider several composition operators that allow smaller systems to be combined into larger systems, and explore the extent to which the leakage of a combined system is constrained by the leakage of its constituents. Most significantly, we prove upper bounds on the leakage of a cascade of two channels, where the output of the first channel is used as input to the second. In addition, we show how to decompose a channel into a cascade of channels. ^ We also establish fundamental new results about the recently-proposed g-leakage family of measures. These results further highlight the significance of channel cascading. We prove that whenever channel A is composition refined by channel B, that is, whenever A is the cascade of B and R for some channel R, the leakage of A never exceeds that of B, regardless of the prior distribution or leakage measure (Shannon leakage, guessing entropy leakage, min-entropy leakage, or g-leakage). Moreover, we show that composition refinement is a partial order if we quotient away channel structure that is redundant with respect to leakage alone. These results are strengthened by the proof that composition refinement is the only way for one channel to never leak more than another with respect to g-leakage. Therefore, composition refinement robustly answers the question of when a channel is always at least as secure as another from a leakage point of view.^