Predicate Transformers and Linear Logic, yet another denotational model

International audienceIn the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this structure to make predicate transformers into a de notational model of full linear logic: all the logical constructions have a natural interpretation in terms of predicate transformers (i.e. in terms of specifications). We then interpret proofs of a formula by a safety property for the corresponding specification

A Pharmacogenetic Approach to Identify Mutant Forms of α-Galactosidase A that Respond to a Pharmacological Chaperone for Fabry Disease

Fabry disease is caused by mutations in the gene (GLA) that encodes α-galactosidase A (α-Gal A). The iminosugar AT1001 (GR181413A, migalastat hydrochloride, 1-deoxygalactonojirimycin) is a pharmacological chaperone that selectively binds and stabilizes α-Gal A, increasing total cellular levels and activity for some mutant forms (defined as “responsive”). In this study, we developed a cell-based assay in cultured HEK-293 cells to identify mutant forms of α-Gal A that are responsive to AT1001. Concentration-dependent increases in α-Gal A activity in response to AT1001 were shown for 49 (60%) of 81 mutant forms. The responses of α-Gal A mutant forms were generally consistent with the responses observed in male Fabry patient-derived lymphoblasts. Importantly, the HEK-293 cell responses of 19 α-Gal A mutant forms to a clinically achievable concentration of AT1001 (10 µM) were generally consistent with observed increases in α-Gal A activity in peripheral blood mononuclear cells from male Fabry patients orally administered AT1001 during Phase 2 clinical studies. This indicates that the cell-based responses can identify mutant forms of α-Gal A that are likely to respond to AT1001 in vivo. Thus, the HEK-293 cell-based assay may be a useful aid in the identification of Fabry patients with AT1001-responsive mutant forms. Hum Mutat 32:1–13, 2011. © 2011 Wiley-Liss, Inc

Migalastat HCl reduces globotriaosylsphingosine (Lyso- Gb3) in Fabry transgenic mice and in the plasma of Fabry patients

Fabry disease (FD) results from mutations in the gene (GLA) that encodes the lysosomal enzyme a-galactosidase A (a-Gal A), and involves pathological accumulation of globotriaosylceramide (GL-3) and globotriaosylsphingosine (lyso-Gb3). Migalastat hydrochloride (GR181413A) is a pharmacological chaperone that selectively binds, stabilizes, and increases cellular levels of a-Gal A. Oral administration of migalastat HCl reduces tissue GL-3 in Fabry transgenic mice, and in urine and kidneys of some FD patients. A liquid chromatography-tandem mass spectrometry method was developed to measure lyso-Gb3 in mouse tissues and human plasma. Oral administration of migalastat HCl to transgenic mice reduced elevated lyso-Gb3 levels up to 64%, 59%, and 81% in kidney, heart, and skin, respectively, generally equal to or greater than observed for GL-3. Furthermore, baseline plasma lyso-Gb3 levels were markedly elevated in six male FD patients enrolled in Phase 2 studies. Oral administration of migalastat HCl (150 mg QOD) reduced urine GL-3 and plasma lyso-Gb3 in three subjects (range: 15% to 46% within 48 weeks of treatment). In contrast, three showed no reductions in either substrate. These results suggest that measurement of tissue and/or plasma lyso-Gb3 is feasible and may be warranted in future studies of migalastat HCl or other new potential therapies for FD

Safety and pharmacodynamic effects of a pharmacological chaperone on alpha-galactosidase A activity and globotriaosylceramide clearance in Fabry disease: report from two phase 2 clinical studies

Abstract Background Fabry disease (FD) is a genetic disorder resulting from deficiency of the lysosomal enzyme α-galactosidase A (α-Gal A), which leads to globotriaosylceramide (GL-3) accumulation in multiple tissues. We report on the safety and pharmacodynamics of migalastat hydrochloride, an investigational pharmacological chaperone given orally at 150 mg every-other-day. Methods Two open-label uncontrolled phase 2 studies of 12 and 24 weeks (NCT00283959 and NCT00283933) in 9 males with FD were combined. At multiple time points, α-Gal A activity and GL-3 levels were quantified in blood cells, kidney and skin. GL-3 levels were also evaluated through skin and renal histology. Results Compared to baseline, increased α-Gal A activity of at least 50% was demonstrated in blood, skin and kidney in 6 of 9 patients. Patients’ increased α-Gal A activities paralleled the α-Gal A increases observed in vitro in HEK-293 cells transfected with the corresponding mutant form of the enzyme. The same 6 patients who demonstrated increases of α-Gal A activity also had GL-3 reduction in skin, urine and/or kidney, and had α-Gal A mutations that responded in transfected cells incubated with the drug. The 3 patients who did not show a consistent response in vivo had α-Gal A mutations that did not respond to migalastat HCl in transfected cells. Migalastat HCl was well tolerated. Conclusions Migalastat HCl is a candidate pharmacological chaperone that provides a novel genotype-specific treatment for FD. It enhanced α-Gal A activity and resulted in GL-3 substrate decrease in patients with responsive GLA mutations. Phase 3 studies are ongoing. Trial registration Clinicaltrial.gov: NCT00283959 and NCT0028393

Migalastat HCl Reduces Globotriaosylsphingosine (Lyso-Gb(3)) in Fabry Transgenic Mice and in the Plasma of Fabry Patients

Fabry disease (FD) results from mutations in the gene (GLA) that encodes the lysosomal enzyme α-galactosidase A (α-Gal A), and involves pathological accumulation of globotriaosylceramide (GL-3) and globotriaosylsphingosine (lyso-Gb3). Migalastat hydrochloride (GR181413A) is a pharmacological chaperone that selectively binds, stabilizes, and increases cellular levels of α-Gal A. Oral administration of migalastat HCl reduces tissue GL-3 in Fabry transgenic mice, and in urine and kidneys of some FD patients. A liquid chromatography-tandem mass spectrometry method was developed to measure lyso-Gb3 in mouse tissues and human plasma. Oral administration of migalastat HCl to transgenic mice reduced elevated lyso-Gb3 levels up to 64%, 59%, and 81% in kidney, heart, and skin, respectively, generally equal to or greater than observed for GL-3. Furthermore, baseline plasma lyso-Gb3 levels were markedly elevated in six male FD patients enrolled in Phase 2 studies. Oral administration of migalastat HCl (150 mg QOD) reduced urine GL-3 and plasma lyso-Gb3 in three subjects (range: 15% to 46% within 48 weeks of treatment). In contrast, three showed no reductions in either substrate. These results suggest that measurement of tissue and/or plasma lyso-Gb3 is feasible and may be warranted in future studies of migalastat HCl or other new potential therapies for FD

Proof-Net as Graph, Taylor Expansion as Pullback

We introduce a new graphical representation for multiplicative and exponential linear logic proof-structures, based only on standard labelled oriented graphs and standard notions of graph theory. The inductive structure of boxes is handled by means of a box-tree. Our proof-structures are canonical and allows for an elegant definition of their Taylor expansion by means of pullbacks

High-Throughput Single-Cell Manipulation in Brain Tissue

The complexity of neurons and neuronal circuits in brain tissue requires the genetic manipulation, labeling, and tracking of single cells. However, current methods for manipulating cells in brain tissue are limited to either bulk techniques, lacking single-cell accuracy, or manual methods that provide single-cell accuracy but at significantly lower throughputs and repeatability. Here, we demonstrate high-throughput, efficient, reliable, and combinatorial delivery of multiple genetic vectors and reagents into targeted cells within the same tissue sample with single-cell accuracy. Our system automatically loads nanoliter-scale volumes of reagents into a micropipette from multiwell plates, targets and transfects single cells in brain tissues using a robust electroporation technique, and finally preps the micropipette by automated cleaning for repeating the transfection cycle. We demonstrate multi-colored labeling of adjacent cells, both in organotypic and acute slices, and transfection of plasmids encoding different protein isoforms into neurons within the same brain tissue for analysis of their effects on linear dendritic spine density. Our platform could also be used to rapidly deliver, both ex vivo and in vivo, a variety of genetic vectors, including optogenetic and cell-type specific agents, as well as fast-acting reagents such as labeling dyes, calcium sensors, and voltage sensors to manipulate and track neuronal circuit activity at single-cell resolution

Seladelpar efficacy and safety at 3 months in patients with primary biliary cholangitis: ENHANCE, a phase 3, randomized, placebo-controlled study

Background and Aims: ENHANCEwas a phase 3 study that evaluated efficacy and safety of seladelpar, a selective peroxisome proliferator-activated receptor-delta (PPAR) agonist, versus placebo in patients with primary biliary cholangitis with inadequate response or intolerance to ursodeoxycholic acid (UDCA).Approach and Results: Patients were randomized 1:1:1 to oral seladelpar 5 mg (n= 89), 10 mg (n= 89), placebo (n= 87) daily (with UDCA, as appropriate). Primary end point was a composite biochemical response [alkaline phosphatase (ALP) < 1.67xupper limit of normal (ULN), >= 15% ALP decrease from baseline, and total bilirubin <= ULN] at month 12. Key secondary end points were ALP normalization at month 12 and change in pruritus numerical rating scale (NRS) at month 6 in patients with baseline score >= 4. Aminotransferases were assessed. ENHANCE was terminated early following an erroneous safety signal in a concurrent, NASH trial. While blinded, primary and secondary efficacy end points were amended to month 3. Significantly more patients receiving seladelpar met the primary end point (seladelpar 5 mg: 57.1%, 10mg: 78.2%) versus placebo (12.5%) (p < 0.0001). ALP normalization occurred in 5.4% (p= 0.08) and 27.3% (p < 0.0001) of patients receiving 5 and 10 mg seladelpar, respectively, versus 0% receiving placebo. Seladelpar 10 mg significantly reduced mean pruritus NRS versus placebo [10 mg: -3.14 (p= 0.02); placebo: -1.55]. Alanine aminotransferase decreased significantly with seladelpar versus placebo [5 mg: 23.4% (p= 0.0008); 10 mg: 16.7% (p= 0.03); placebo: 4%]. There were no serious treatment-related adverse events.Conclusions: Patients with primary biliary cholangitis (PBC) with inadequate response or intolerance to UDCA who were treated with seladelpar 10 mg had significant improvements in liver biochemistry and pruritus. Seladelpar appeared safe and well tolerated