Hydrogen activation on the (100) surface of MoS2 structures was investigated by means of density functional theory calculations. Linear and quadratic synchronous transit methods with a conjugate gradient refinement of the saddle point were used to localize transition states. The calculations include heterolytic and homolytic dissociation of hydrogen; that is, an H2 molecule dissociates on an MoS2 catalyst surface into two hydrogen atoms, which react further with the catalyst surface under formation of either one Mo-H and one S-H (heterolytic) (...) or of two S-H surface groups (homolytic). Our results favor the heterolytic adsorption of hydrogen. Ni- and Co-promoted MoS2 have been considered to investigate the secondary promotional effect on the H2 dissociation. The authors observed a negative secondary promotional influence on the H2 dissociation in the case of Ni-promoted MoS2, whereas Co shows a positive effect. (shrink)

This article presents important properties of standard discrete distributions and its conjugate densities. The Bernoulli and Poisson processes are described as generators of such discrete models. A characterization of distributions by mixtures is also introduced. This article adopts a novel singular notation and representation. Singular representations are unusual in statistical texts. Nevertheless, the singular notation makes it simpler to extend and generalize theoretical results and greatly facilitates numerical and computational implementation.

The stability theory of first order theories was initiated by Saharon Shelah in 1969. The classification of abstract elementary classes was initiated by Shelah, too. In several papers, he introduced non-forking relations. Later, Shelah [17, II] introduced the good non-forking frame, an axiomatization of the non-forking notion.We improve results of Shelah on good non-forking frames, mainly by weakening the stability hypothesis in several important theorems, replacing it by the almost λ-stability hypothesis: The number of types over a model of cardinality (...) λ is at most λ+.We present conditions on Kλ, that imply the existence of a model in Kλ+n for all n. We do this by providing sufficiently strong conditions on Kλ, that they are inherited by a properly chosen subclass of Kλ+. What are these conditions? We assume that there is a ‘non-forking’ relation which satisfies the properties of the non-forking relation on superstable first order theories. Note that here we deal with models of a fixed cardinality, λ.While in Shelah [17, II] we assume stability in λ, so we can use brimmed models, here we assume almost stability only, but we add an assumption: The conjugation property.In the context of elementary classes, the superstability assumption gives the existence of types with well-defined dimension and the ω-stability assumption gives the existence and uniqueness of models prime over sets. In our context, the local character assumption is an analog to superstability and the density of the class of uniqueness triples with respect to the relation ≼bs is the analog to ω-stability. (shrink)

General regularities related toLagrangian andHamiltonian equations are revealed. Probability distributions for functions ofHamiltonian random variables are considered. It is shown that all probability distributions of this kind are fully determined by the probability distributions for the random variables satisfying the corresponding Lagrangian equations. Some formulas related tocanonically conjugate operators are given. The similarity of these formulas to those related to Hamiltonian random variables is demonstrated. The “quantum approach” to the treatment of Hamiltonian random variables is discussed, and the origin (...) of some peculiarities related to this approach is elucidated; it is explained, in particular, why it is impossible to form the joint probability density for canonically conjugate random variables when using this approach. The peculiarities revealed prove to be common for any objects possessing Hamiltonian random variables, irrespective of the nature of the objects, and coincide, therefore, with those in quantum mechanics. The existence of joint probability distributions for canonically conjugate random variables in the general case is demonstrated through the calculation of the corresponding joint mathematical expectations in an illustrative example. This proves, in particular, that joint probability distributions for canonically conjugate coordinates and momenta exist indeed in the case of mechanical microsystems. The results obtained prove once again that the pecularities of quantum mechanics are not related to the specificity of the measurements of physical quantities for microsystems. (shrink)

A new three-parameter extension of the generalized-exponential distribution, which has various hazard rates that can be increasing, decreasing, bathtub, or inverted tub, known as the Marshall-Olkin generalized-exponential distribution has been considered. So, this article addresses the problem of estimating the unknown parameters and survival characteristics of the three-parameter MOGE lifetime distribution when the sample is obtained from progressive type-II censoring via maximum likelihood and Bayesian approaches. Making use of the s-normality of classical estimators, two types of approximate confidence intervals are (...) constructed via the observed Fisher information matrix. Using gamma conjugate priors, the Bayes estimators against the squared-error and linear-exponential loss functions are derived. As expected, the Bayes estimates are not explicitly expressed, thus the Markov chain Monte Carlo techniques are implemented to approximate the Bayes point estimates and to construct the associated highest posterior density credible intervals. The performance of proposed estimators is evaluated via some numerical comparisons and some specific recommendations are also made. We further discuss the issue of determining the optimum progressive censoring plan among different competing censoring plans using three optimality criteria. Finally, two real-life datasets are analyzed to demonstrate how the proposed methods can be used in real-life scenarios. (shrink)

Cosmological boundary conditions for particles and fields are often discussed as a Cauchy problem, in which configurations and conjugate momenta are specified on an “initial” time slice. But this is not the only way to specify boundary conditions, and indeed in action-principle formulations we often specify configurations at two times and consider trajectories joining them. Here, we consider a classical system of particles interacting with short range two body interactions, with boundary conditions on the particles’ positions for an initial (...) and a final time. For a large number of particles that are randomly arranged into a dilute gas, we find that a typical system trajectory will spontaneously collapse into a small region of space, close to the maximum density that is obtainable, before expanding out again. If generalizeable, this has important implications for the cosmological arrow of time, potentially allowing a scenario in which both boundary conditions are generic and also a low-entropy state “initial” state of the universe naturally occurs. (shrink)

Writing, the exigency of writing: no longer the writing that has always (through a necessity in no way avoidable) been in the service of the speech or thought that is called idealist (that is to say, moralizing), but rather the writing that through its own slowly liberated force (the aleatory force of absence) seems to devote itself solely to itself as something that remains without identity, and little by little brings forth possibilities that are entirely other: an anonymous, distracted, deferred, (...) and dispersed way of being in relation, by which everything is brought into question – and first of all the idea of God, of the Self, of the Subject, then of Truth and the One, then finally the idea of the Book and the Work so that this writing (understood in its enigmatic rigor), far from having the Book as its goal rather signals its end: a writing that could be said to be outside discourse, outside language. – Maurice Blanchot ( The Infinite Conversation , xi) The Compendium * Beginning with the idea and practice of writing, and moving to the subject or self, then to truth and the One, and arriving at the Book and the Work, Blanchot’s words reflect the trajectory of the following work of writing. True to the embeddedness of the subject in the work of writing, the term “Compendium” has been a metonym for me over the past few years as I have thought about the concept of totality alongside its expression in figures such as the One, the Whole, or the All. In the following I aim to share some of the content of this metonym, and to enrich it by making some distinctions. 1 Here the term “Compendium” will refer to a concept of totality that is ontological (pertaining to being, and the copula) and also textual (pertaining to the symbolic, and the signifier-signified relationship). The Compendium is a figure for thinking the world as a Book, in the broadest sense—an approach to reality that is by no means new, but one that is due for renewal. 2 In partial answer to the question of the Compendium we will say that the word ‘Compendium’ stands in for expressions which seek to totalize, or concepts which seek to approach the concept of ‘everything,’ particularly when these expressions are bound up in the question of the Book (both the book as a physical object and the Book as a metaphysical figure: a way of thinking about the work in and of writing). The question of the Compendium is strongly associated with the physical and metaphysical form of the Book, like the mysterious and symbolic books which are opened in the Biblical book of Revelation, the book of life and the book of death, which together constitute an important couplet. 3 Parataxis & Hypotaxis There are two helpful distinctions that will bring us closer to an answer to the question “What is a Compendium?” The first distinction is between two figures in and for writing: parataxis and hypotaxis . Typically paired in contrast to one another as literary techniques, with parataxis indicating a side-by-side placement of textual elements and hypotaxis referring to subordinate arrangements of textual elements, the two figures can be understood as having a philosophical significance in addition to their practical function as devices for writers. For us these two terms will remain between philosophical theory and writing practice, and serve as a perspective for our writing and creation of texts. Here I take texts to refer to anything from the concrete written words in a book, to the ontological text of the world that we experience. Parataxis , as a figural way of thinking about the ontological structure of texts, refers to texts which are tightly woven and interdependent – texts within which each sentence bears the weight of the entire work. Parataxis often involves repetition, great density, and fragility. One of the best examples of this sort of text is Theodor Adorno’s posthumous magnum opus , Aesthetic Theory . In addition to the text itself, the translation history of the book may also help us to better understand parataxis and its relation to hypotaxis . The final published version of Aesthetic Theory , in German, was a text that Adorno intended to revise and rewrite, but this intention was never realized because of his untimely death. Where the German text of Aesthetic Theory certainly exemplifies the concept of parataxis , the first English edition took this densely woven text and carved Adorno’s lengthy paragraphs and lengthy sentences into manageable ‘bite-sized’ pieces of English text. The first translator took further liberty and inserted headings and new paragraph breaks where there were none in the original. Aesthetic Theory was eventually retranslated by Robert Hullot-Kentor and is now available in a form that is much more faithful to the original work. 4 The pertinent idea that this translation history points to is the distinction between parataxis and hypotaxis . Where parataxis describes texts which are repetitive, densely woven, and often fragile, hypotaxis describes texts which are hierarchical and in which the primary relation is linear – the latter of which is very similar to the first English translation of Aesthetic Theory . On the other hand, the original German text that Adorno wrote was very dense, often repetitive, and contained long sections of text unbroken by paragraphs or headings. This example of parataxis was then turned towards hypotaxis through the initial translation which took a text that was, in many ways, nonhierarchical and nonlinear, and artificially subjected it to a hierarchy that was not its own (and here I take the word of Fredric Jameson who comments on the two translations in a note at the beginning of his book Late Marxism ). 5 The point here is not about translation, but rather the distinction between parataxis and hypotaxis precisely as they are figures for discourse, written or otherwise. The concept of parataxis looks far more postmodern and rhizomic than the concept of hypotaxis which remains very modern and arborescent. This is a more figural way of talking about the distinction. However, if we wanted to take a more precise and analytical approach we could say that on the level of form parataxis involves a relationship between sentences and paragraphs in which each part bears an equally crushing responsibility to present the whole content of the text. As well, on the level of content, parataxis requires that each concept in a work take on the full conceptual weight of the total work. Continuing the analysis, we could say that parataxis describes texts in which there is no (or very little) linear or causal move from antecedent to consequent, whether in content or form. Instead, parataxis describes texts which weave together concepts via conjugations or associations. The concept of hypotaxis , on the other hand, requires that texts submit themselves to hierarchy, one example of which is logical argumentation. The contingency of the conclusion upon premises in hypotaxis is certainly distinct from the repetition, re-presentation, and conjugation of concepts in parataxis , and I think that this is evident in the difference between the writing styles prevalent in contemporary Analytic philosophy and Continental philosophy. It is not the case that the distinction between parataxis and hypotaxis absolutely corresponds with the writing styles of Continental and Analytic philosophy (respectively). There are thinkers who take exception to this pattern, such as Badiou’s more formal approach in the discourse of Continental philosophy to give one example. However, when Analytic philosophy takes its writing lessons from the sciences, and seeks to do philosophy via the clean linear move from antecedent to consequent, then I think that Analytic philosophy writes with hypotaxis in mind. On the other hand, when Continental (particularly German and French) philosophy takes its writing lessons from narrative or poetry then Continental philosophy writes with parataxis in mind. It is not fair to say that all those writing Continental philosophy are looking to narrative and poetry for stylistic direction, just as it is not the case that all those writing Analytic philosophy have mathematics and science as their writing format, however there are some striking ways in which the differing epistemologies of Continental and Analytic philosophy encourage writing with parataxis and hypotaxis in mind (respectively). For some, writing with parataxis or hypotaxis in mind is a conscious decision and a product of stylistic self-consciousness, and for others it is an unconscious discursive and epistemic requirement that must be met in order to be involved in a particular discourse. Before moving on to our second distinction, and then an examination of the question of the Book, it is important to point out that both totality and figurations like the One, the Whole, and the All, come out of very human desires to totalize or to actualize our being-towards-totality. The relationship between identity and totality then can be construed, with Heidegger in mind, as striving toward wholeness, completion, or fulfillment, each of which is a quality of compendia. 6 Compilation & Selection The first distinction between parataxis and hypotaxis pertains to both form and content, and to both the mechanics of writing and the ideas to which writing refers. The second distinction pertains to both as well. In the process of writing and in the process of perception as well, there is a tension between compilation and selection . To begin with, in the work of theory-writing there is compilation, and this is because writing theory requires a broad perspective and certain measure of totalization. On the other hand, writing theory requires that the writer select an idea or a combination of ideas to individuate out of a radical and infinite multiplicity of identities and combinations. The concern here is not primarily for the writing of a theory about a specific idea, like a secondary work or a reference text. But rather the concern is with the writing of grand theories: Marx and Marxism, Derrida and Deconstruction, Husserl and Phenomenology, Sartre and Existentialism, Saussure and Structuralism —each of which strives along a trajectory towards being all-encompassing, whether it intends to or not. Today, we could even say that Speculative Realism has embarked on this journey, and perhaps now we could say that the discourse of Speculative Realism has reached the inevitable point after which a grand theory leaves the hands of its writer or writers and becomes a possession of the collective consciousness of the academy, or (perhaps now) the mass consciousness of the blogosphere—and this is a true pharmakon , a poison and a cure, a blessing and a curse. 7 When we write theory, whether the scope is that of a grand theory or a particular theory, we write in the tension between compilation (making good on the desire to be all encompassing) and selection (being required to decide and discern and to judge what is included in the work and what is deleted or appended or abridged or given over to ellipses). Generally speaking, the work of theory-writing often comes out of a desire to totalize, that is, to develop a theory of everything that is able to apprehend new experiences and ideas while still remaining whole. I grant that this is not a universal desire, and that not everyone who sits down to write a work (or book) of theory does so because of their will-to-totality, but it remains that this drive to totalize does condition a great many writers of theory (especially those who seek to develop grand theories like those mentioned previously). At the beginning of his book of interviews, Between Existentialism and Marxism , Sartre is quoted as saying, after completing the first volume of his Critique of Dialectical Reason : “I no longer feel the need to make long digressions in my books, as if I were forever chasing after my own philosophy. It will now be deposited in little coffins, and I will feel completely emptied and at peace—as I felt after Being and Nothingness . A feeling of emptiness: a writer is fortunate if he can attain such a state. For when one has nothing to say, one can say everything .” 8 This is where our two initial distinctions come to bear on the being-towards-totality as it is expressed in the concrete practice of writing: the first being between parataxis and hypotaxis , and the second being between compilation and selection. Where this second distinction is concerned there is a certain paradox at play given that selection is inescapable, and compilation is unachievable. Selection is inescapable (with the figure of the Compendium in mind) because, even when the imperative to compile is followed to excruciating lengths, selection still has the last word. This is why the Compendium is a figure rather than some material thing that can actually be accomplished or actualized. No matter how far one goes along with the will-to-archive and the will-to-compile, it is only ever a question of minimizing selection and never eliminating it. This leads to the second point, which is that total compilation is unachievable. The closest thing to total compilation that we have before us is the ontological and textual fabric of the world. Even in the case of the world, compilation cannot be enacted in a total fashion because of the need to include both the sphere of the actual and the sphere of the possible or potential. This as another way in which compilation is always-already selection, and further evidence that total compilation is practically impossible. Discursive Figuration and Total Writing Rather than figuration referring to a figure of speech or an image, here the term points to a way in which to think about the work of writing, both the work put into writing, and the work that is the result of writing: the finished yet incomplete final piece. As figures or figurations, the Book and the Compendium are ways of thinking about the work of writing and the human desire for the wholeness, completion, and fulfillment that are made manifest in the completed form of the book (whether a published or printed or saved document put to rest by the author). These two figures bear more strongly upon works that seek to be all-encompassing, and works that strive towards expressions of totality such as the One, the Whole, or the All. Moving on to the topic of the subtitle, and on a more prescriptive note, I would say that there is more hope for theory-writing to be found in parataxis than hypotaxis . Part of the reason for this claim is the poststructuralist critique of hierarchies, and yet another part is the compelling line of thinking called “weak thought” (in theology by John D. Caputo, and in philosophy by Gianni Vattimo, among others). 9 The consequences of these two convictions are such that if one is to strongly assert the truth of a grand theory without leaving the realm of hierarchy-critique and weak thought, then one must write paradoxically with parataxis in mind, and in so doing write weakly and non-hierarchically. This does not mean avoiding a sort of topography or topology when writing theory, rather it means avoiding both subjugation and oppression in thought by pursuing a nonviolent sort of ontology. In order to do this, theory writing does not present itself as an exercise in logical analysis where one mechanically moves from a set of premises (via contingency) to the inevitable conclusion (via necessity). Instead, theory approaches the idea of a Compendium. Given that the figural Compendium places parataxis and compilation above hypotaxis and selection, then the question becomes: is placing one part of a binary term before another not just another way of selecting, or another expression of hypotaxis ? Counter to the urge to resign oneself to the reign of selection, with some qualification one can nonetheless write without deciding whether selection and hypotaxis should be subservient to compilation and parataxis (which is to say that writing-without-decision is somewhere between and beyond possibility and impossibility). This dilemma can be disarmed by stating that theory writing is not about primacy, and not about having-decided-beforehand, both stylistically and also where content is concerned. This is the paradox of writing: always striving along a trajectory ( telos ) towards totality via parataxis and compilation, but always being drawn back to finitude and making selections, and placing one idea before another with hypotaxis in mind. In light of this paradox, the question of the Compendium as a figure for discourse and a figural Book has resonance with Jacques Derrida’s essay on Edmund Jabès’ Book of Questions , found in his Writing and Difference . The Question of the Book “Little by little the book will finish me.” 10 Derrida quotes Jabès, and proceeds to outline the reflexive relationship between the author of the book and the book itself, each of which are subjected to the other through a sort of chiasmus, both ontological and textual (not that the two are entirely separable). The Book, for Derrida like Blanchot in the introductory quotation, “infinitely reflects itself” and “develops as a painful questioning of its own possibility”, and in light of this we can draw an association with the painful tension between the practical reality of selection and the ideal trajectory of compilation. 11 This tension in writing, between the will to total compilation and the necessity of abridgment, is an ontological tension between part and whole just as it is a textual tension between signifier and signified. The ontological tension in writing that Derrida expresses in his essay on Jabès is between everything and nothing – a contradiction which Derrida finds in Jabès’ Book of Questions and also in the divine, in God. When one writes between compilation and selection one writes towards totality, and here we can follow Derrida who states that the lapse in signification, presumably in the signifier-signified discrepancy, is a “ rupture with totality itself” and furthermore that this lapse cannot be rectified through deductive reason or even philosophical discourse. 12 This rupture with totality, found in the troubled relation between signifier and signified, can also tell us a lot about the Book and about writing. Given an understanding of writing as an ontological act that strives towards (but never accomplishes) totality, we can see the written book as the manifested and given body of that striving. Perhaps in other disciplines or even other schools of philosophy there is a cultural climate within which the article is prized above the book, but I am fairly confident, especially when referring to the grand theories of Continental thought, that there is a respect for the book as a uniquely meaningful object capable of apprehending totality. Derrida writes, Between the too warm flesh of the literal event and the cold skin of the concept runs meaning. This is how it enters into the book. Everything enters into, transpires in the book. This is why the book is never finite. It always remains suffering and vigilant. 13 Here the vitality of the literal event is compromised by the deadening weight of the concept, and the figure of the Book assists in this lapse of meaning. The Book is a totalizing object, much like the figure of the Compendium, and yet this totalization lacks its final object of completed totality both because the figural Book is necessarily incomplete, and because the physical book is always-already a product of selection. Instead of achieving its end of being a place where everything takes place, it suffers from the lapse of writing, the discrepancy between event and concept. Derrida continues his exposition on Jabès by bringing to light yet another reflexive relation, a reversal of the relationship between the Book and the world. Derrida writes that, for Jabès, “the book is not in the world, but the world is in the book.” 14 In addition to what was stated before, I take figuration to mean that the concepts employed, such as the Book or the Compendium, are not subject to the supposed rigor of analysis that is so prized by Enlightenment or Capitalist realisms. The figure of the Book and the figure of the Compendium cannot be held accountable to standards imported from scientific method, given an understanding that these standards require a concept to be replicable, consistent, falsifiable, measurable, and so on… This is an important point to make, especially in the present atmosphere within which theory must justify itself under conditions that are not its own. Instead of being held to these standards, figuration serves as a way in which to think about writing that leaves thought open to idealistic speculation, imperfect analogies, and most importantly the ever-present gain and loss that occur in the relationship between thought and being. By extension the figural way of addressing writing indulges in enough generalization to accommodate the excess/lack relationship between the ideal form of the Book or the Compendium, and the manifested and given body of a text (as it is practically completed and closed). Here we speak against the hostile atmosphere which would have theory submit itself to hierarchical rigor, rather than Blanchot’s “enigmatic rigor”, by being explicit about the discursive conditions and epistemic conditions under which theory operates. To write with parataxis in mind is, to a certain degree, to write with weakness as one’s methodology (with weak thought being in opposition to hypotaxis and hierarchy as much as weak thought can be in opposition to anything). Rather than asserting the strength of hierarchical theory, and rather than employing antagonistic argumentation with the goal of refutation different discursive and epistemic conditions for theory writing must be cultivated (and these are by no means new). First the critical and theoretical spirit reveals itself as being concerned with the task of complication—especially the complication and critique of binaries, dichotomies, dualities, polarities, paradoxes, parallaxes, hybridities, and especially antinomies. Second, theory positions itself as a sort of showing or revealing, rather than being ultimately focused on coming to full agreement or disagreement. This is where figuration can help theory-writing, both by placing emphasis on teleologies and trajectories (like parataxis and compilation), and by shifting focus away from pure primacy, power, or absolute origin. Figuration then, assists theory writing by placing the concern of theory outside of the concerns of the hard or soft sciences, and into the realm of thought or the idea. To speak of ‘the’ Compendium or ‘the’ Book, here, is to generalize not regarding the perfect form of the Compendium or Book, but to engage speculatively with an abstract idea which remains singular and yet complicated by multiplicity. The question of the Book that Derrida asks through Jabès is a question of everything and nothing, totality and nonbeing, and this question is a concern for writing and a concern for the figure of the Compendium so defined by the tension between compilation and selection, and parataxis and hypotaxis . On the note of nonbeing, we can look to the final page of Derrida’s first essay on Jabès in Writing and Difference and notice the introduction of his neologism, différance (with an ‘a’). Derrida writes: Life negates itself in literature only so that it may survive better. So that it may be better. It does not negate itself any more than it affirms itself: it differs from itself, defers itself, and writes itself as différance . Books are always books of life (the archetype would be the Book of Life kept by the God of the Jews) or of afterlife (the archetype would be the Books of the Dead kept by the Egyptians). 15 This introduction of différance into the equation of the Book, alongside ontological affirmation and negation, hearkens back to the discussion of the symbolic lapse earlier in his essay. Differing and deferring, the Book is always a Book of Life and a figure for the intersection of the vital (life) and the total in writing. In a way, the writer of the Book may be someone who lives life, and in another way the writer of the book-as-object may be someone who engages in the act of writing, both practically (by inscribing words on paper, or typing script on a computer) and ontologically or symbolically (by investing their existence and inexistence into a work worthy of the figural Book). In addition to the writer as writer, the writer also serves as an editor, and the editorial role alongside the idea of the Compendium shows the editor to be one who collects and compiles, while being restrained by eventual selection and decision. Beyond this the editor of works and texts, in both the Book and the world, is engaged in a process of inscribing notation—of annotating (on) the Compendium. Eternal commentary is a feature of the textual Compendium, just as open-ended totality describes the ontological Compendium. The writer as writer does not simply write texts, but rather engages in a profoundly ontological act of inscribing their existence into the world, and the writer as editor does not merely annotate or alter texts as they are, but rather comments upon the text of the world. In/Conclusion So as we create texts, and as we write and create theory, let us be and remain attentive to the figure of the Compendium and the figure of the Book. These two concurrent metonymies are essential for total writing (grand theories, etc.), and may be forgettable for those concerned with fragmentary or hierarchical writing (which are valid in their own right). From the ontological and symbolic text of the world and phenomenological experience, to concrete texts such as books or mixed media, the figure of the Compendium and the figure of the Book are important for the actualization of the human will to be all-encompassing. The figure of the Compendium teaches writers of theory that the repetition, density, and fragility of parataxis offers a strong sort of weakness which does not become yet another variety of oppressive and hegemonic thought. Rather than write with hypotaxis in mind, subjugating one thought to another via cause and effect or antecedent and consequent, I would hope that theory-writing could guiltlessly indulge in the dialectical and contradictory conjugation of ideas, and take this as a legitimate methodology. Rather than being ashamed of showing resonances or giving way to abridgment or ellipses, it is my own authorial (but not authoritative) conviction that one need not give up on totalizing and constructing grand theories because of the fact that complete totalization is impossible, and one need not give up on totalizing and constructing grand theories because of the worry of violence, for the Book and the Compendium lack their completed object and are ever incomplete trajectories. NOTES * UPDATED 7/19/13: we've updated the HTML version to reflect the (correct) PDF version. Our apologies to the author—eds. 1. I would like extend thanks to Dr. Peter Schwenger of the University of Western Ontario for his comments on this paper and his hospitality as it was presented as a Theory Session at the Centre for Theory and Criticism on October 26th 2012. I would also like to thank Andrew Weiss for conversation and critique. 2. I should clarify my use of the term ‘figure’ at the outset. Given the use of the term by Jean-Francois Lyotard in Discourse, Figure (and also Gilles Deleuze in Francis Bacon ), I should state clearly that my use of the term will not correspond to the term ‘figure’ understood as the representation of an object. Instead, my use of the term ‘figure’ and its variations (‘figural’, ‘figurative’, ‘figuration’) will refer to the illustrative or metaphorical use of the Compendium or the Book as models or ways of thinking about writing and discourse. 3. Cf. Revelations 20:12-15. 4. Theodor Adorno, Aesthetic Theory , Trans. Robert Hullot-Kentor (London & New York: Continuum Press, 1997). 5. Fredric Jameson, Late Marxism: Adorno, or the Persistence of the Dialectic (London & New York: Verso, 1990), ix-x. 6. I have written about this concept of being-towards-totality elsewhere in two pieces of writing: the first is called Notes on the Compendium (an unfinished draft) which addresses some very wide theoretical concerns, being structured as a sort of itinerary or archive, and the second is Dialectics Unbound (Punctum Books, 2013) which outlines a concept of totality without the violence of totalization. While these works are more concerned with ontological totality, here I would like to focus on the idea of the Compendium as a textual totality. 7. Cf. Louis Morelle, “Speculative Realism: After Finitude and Beyond, A vade mecum” in Speculations: Journal of Speculative Realism . Issue 3 (Brooklyn, New York: Punctum Books, 2012), 241-272. 8. Jean-Paul Sartre, Between Existentialism and Marxism . Trans. John Matthews (London & New York: Verso, 1974), 9. 9. Cf. John D. Caputo, The Weakness of God (Indiana: Indiana University Press, 2006). 10. Jacques Derrida, “Edmond Jabès and the Question of the Book” in Writing and Difference . Trans. Alan Bass (Chicago: University of Chicago Press, 1978), 65. 11. Ibid, 65. 12. Ibid, 71. 13. Ibid, 75. 14. Ibid, 76. 15. Ibid, 78. (shrink)

An intricate quantum statistical effect guides us to a deterministic, non-causal quantum universe with a given fixed initial and final state density matrix. A concept is developed on how and where something like macroscopic physics can emerge. However, the concept does not allow philosophically crucial free will decisions. The quantum world and its conjugate evolve independently, and one can replace fixed final states on each side just with a common matching one. This change allows for external manipulations done in (...) the quantum world and its conjugate, which do not otherwise alter the basic quantum dynamics. In a big bang/big crunch universe, the expanding part can be attributed to the quantum world and the contracting one to the conjugate one. The obtained bi-linear picture has several noteworthy consequences. (shrink)

In Minkowski flat space-time, it is perceived that time inversion is unitary rather than antiunitary, with energy being a time vector changing sign under time inversion. The Dirac equation, in the case of electromagnetic interaction, is not invariant under unitary time inversion, giving rise to a “Klein paradox.” To render unitary time inversion invariance, a nonlinear wave equation is constructed, in which the “Klein paradox” disappears. In the case of Coulomb interaction, the revised nonlinear equation can be linearized to give (...) energy solutions for Hydrogen-like ions without singularity when nuclear number Z>137, showing a reversed energy order pending for experimental tests such as Zeeman effects. In non-relativistic limit, this nonlinear equation reduces to nonlinear Schrödinger equation with soliton-like solutions. Moreover, particle conjugation and electron-proton scattering with a nonsingular current-potential interaction are discussed. Finally the explicit form of gauge function is found, the uniqueness of Lorentz gauge is proven and the Lagrangian density of quantum electrodynamics (QED) is revised as well. The implementation of unitary time inversion leads to the ultimate derivation of nonlinear QED. (shrink)

We present the Dirac and Laplacian operators on Clifford bundles over space–time, associated to metric compatible linear connections of Cartan–Weyl, with trace-torsion, Q. In the case of nondegenerate metrics, we obtain a theory of generalized Brownian motions whose drift is the metric conjugate of Q. We give the constitutive equations for Q. We find that it contains Maxwell’s equations, characterized by two potentials, an harmonic one which has a zero field (Bohm-Aharonov potential) and a coexact term that generalizes the (...) Hertz potential of Maxwell’s equations in Minkowski space.We develop the theory of the Hertz potential for a general Riemannian manifold. We study the invariant state for the theory, and determine the decomposition of Q in this state which has an invariant Born measure. In addition to the logarithmic potential derivative term, we have the previous Maxwellian potentials normalized by the invariant density. We characterize the time-evolution irreversibility of the Brownian motions generated by the Cartan–Weyl laplacians, in terms of these normalized Maxwell’s potentials. We prove the equivalence of the sourceless Maxwell equation on Minkowski space, and the Dirac-Hestenes equation for a Dirac-Hestenes spinor field written on Minkowski space provided with a Cartan–Weyl connection. If Q is characterized by the invariant state of the diffusion process generated on Euclidean space, then the Maxwell’s potentials appearing in Q can be seen alternatively as derived from the internal rotational degrees of freedom of the Dirac-Hestenes spinor field, yet the equivalence between Maxwell’s equation and Dirac-Hestenes equations is valid if we have that these potentials have only two components corresponding to the spin-plane. We present Lorentz-invariant diffusion representations for the Cartan–Weyl connections that sustain the equivalence of these equations, and furthermore, the diffusion of differential forms along these Brownian motions. We prove that the construction of the relativistic Brownian motion theory for the flat Minkowski metric, follows from the choices of the degenerate Clifford structure and the Oron and Horwitz relativistic Gaussian, instead of the Euclidean structure and the orthogonal invariant Gaussian. We further indicate the random Poincaré–Cartan invariants of phase-space provided with the canonical symplectic structure. We introduce the energy-form of the exact terms of Q and derive the relativistic quantum potential from the groundstate representation. We derive the field equations corresponding to these exact terms from an average on the invariant state Cartan scalar curvature, and find that the quantum potential can be identified with 1 / 12R(g), where R(g) is the metric scalar curvature. We establish a link between an anisotropic noise tensor and the genesis of a gravitational field in terms of the generalized Brownian motions. Thus, when we have a nontrivial curvature, we can identify the quantum nonlocal correlations with the gravitational field. We discuss the relations of this work with the heat kernel approach in quantum gravity. We finally present for the case of Q restricted to this exact term a supersymmetric system, in the classical sense due to E.Witten, and discuss the possible extensions to include the electromagnetic potential terms of Q. (shrink)

Tobacco consumption is believed to be one of the world’s greatest preventable health problems. According to the World Health Organisation, 1.1 billion people worldwide are addicted to nicotine with tobacco causing an estimated four million premature deaths every year. The development of a nicotine conjugate vaccine suggests that immunisation may hold promise as a future therapeutic and preventive strategy for tobacco smoking and nicotine addiction. Allowing parents to immunise their children against smoking could be an infringement of children’s right (...) to an open future, however, and is not ethically unproblematic. (shrink)

Realism about quantum theory naturally leads to realism about the quantum state of the universe. It leaves open whether it is a pure state represented by a wave function, or an impure one represented by a density matrix. I characterize and elaborate on Density Matrix Realism, the thesis that the universal quantum state is objective but can be impure. To clarify the thesis, I compare it with Wave Function Realism, explain the conditions under which they are empirically equivalent, consider two (...) generalizations of Density Matrix Realism, and answer some frequently asked questions. I end by highlighting an implication for scientific realism. (shrink)

If the density matrix is treated as an objective description of individual systems, it may become possible to attribute the same objective significance to statistical mechanical properties, such as entropy or temperature, as to properties such as mass or energy. It is shown that the de Broglie--Bohm interpretation of quantum theory can be consistently applied to density matrices as a description of individual systems. The resultant trajectories are examined for the case of the delayed choice interferometer, for which Bell [Int. (...) J. Quantum chem. 155--159, (1980)] appears to suggest that such an interpretation is not possible. Bell’s argument is shown to be based upon a different understanding of the density matrix to that proposed here. (shrink)

This book defends the conjugal view of marriage. Patrick Lee and Robert P. George argue that marriage is a distinctive type of community: the union of a man and a woman who have committed to sharing their lives on every level of their beings (bodily, emotionally, and spiritually) in the kind of union that would be fulfilled by conceiving and rearing children together. The comprehensive nature of this union, and its intrinsic orientation to procreation as its natural fulfillment, distinguishes marriage (...) from other types of community and provides the basis for the norms of marital exclusivity and permanence. Lee and George detail how the basic moral norms regarding sexual acts follow from the ethical requirement to respect the good of marriage and explain how the law should treat marriage, given its conjugal nature, examining both the same-sex-marriage issue and civil divorce. (shrink)

The partial ordering of Medvedev reducibility restricted to the family of Π0 1 classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a Π0 1 class, which we call a ``c.e. separating class''. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes.

This article is concerned with thinking transformations of the secular, and does so in relation to two theoretical terrains, while empirically grounded in ethnographies of Christian and Islamic pious women in the Netherlands. A first theoretical terrain under consideration is that of how the relation between modernity and religion is elaborated, notably in secularization theories, and how these established frameworks are challenged by a different kind of articulation between modernity and religion that I observed in narratives and practices of young (...) Evangelical and Islamic women in the Netherlands. The article traces the contours of a `pious modern', showing how from a faith-centred perspective the modern can be incorporated and indeed produced. In this context, I argue that the way in which notions of modernization and secularization have been theoretically hinged on each other needs to be further revisited, and I propose to consider the `post-secular' as a new disarticulation between the modern and the secular. A second theoretical terrain concerns questions of agency and subjectivity. Here I trace how situating religious agency in its own grammar makes secular assumptions in social, critical and feminist theory visible, and generates different understandings not only of agency but also of notions such as autonomy, and the capacity to act and shape the world. (shrink)

The following strong form of density of definable types is introduced for theoriesTadmitting a fibered dimension functiond: given a modelMofTand a definable setX⊆Mn, there is a definable typepinX, definable over a code forXand of the samed-dimension asX. Both o-minimal theories and the theory of closed ordered differential fields are shown to have this property. As an application, we derive a new proof of elimination of imaginaries for CODF.

We study connections between classical asymptotic density, computability and computable enumerability. In an earlier paper, the second two authors proved that there is a computably enumerable set A of density 1 with no computable subset of density 1. In the current paper, we extend this result in three different ways: The degrees of such sets A are precisely the nonlow c.e. degrees. There is a c.e. set A of density 1 with no computable subset of nonzero density. There is a (...) c.e. set A of density 1 such that every subset of A of density 1 is of high degree. We also study the extent to which c.e. sets A can be approximated by their computable subsets B in the sense that A\B has small density. There is a very close connection between the computational complexity of a set and the arithmetical complexity of its density and we characterize the lower densities, upper densities and densities of both computable and computably enumerable sets. We also study the notion of "computable at density r" where r is a real in the unit interval. Finally, we study connections between density and classical smallness notions such as immunity, hyperimmunity, and cohesiveness. (shrink)

‘Faithfulness’ is defined in The Oxford English Dictionary of 1901 in a way that leaves out what one might take as a central paradigm. The OED entry reads, in partFaithfulness … the quality of being faithful.A. Fidelity, loyalty …B. Strict adherence to one's pledged word; honesty, sincerity. …The feudal system, the army, and the rest of such things are provided for in ‘loyalty to a superior …’, and so are friends – after superiors. In, commercial interests are satisfactorily covered: ‘strict (...) adherence to one's pledged word, honesty. …’ It is a nice piece of social history: from William the Conqueror to the latter phases of the Industrial Revolution, in two definitions. But a very odd piece of social history, in that conjugal faithfulness, the most existential one that there is, does not rate a mention. (shrink)

‘Faithfulness’ is defined in The Oxford English Dictionary of 1901 in a way that leaves out what one might take as a central paradigm. The OED entry reads, in partFaithfulness … the quality of being faithful.A. Fidelity, loyalty …B. Strict adherence to one's pledged word; honesty, sincerity. …The feudal system, the army, and the rest of such things are provided for in ‘loyalty to a superior …’, and so are friends – after superiors. In, commercial interests are satisfactorily covered: ‘strict (...) adherence to one's pledged word, honesty. …’ It is a nice piece of social history: from William the Conqueror to the latter phases of the Industrial Revolution, in two definitions. But a very odd piece of social history, in that conjugal faithfulness, the most existential one that there is, does not rate a mention. (shrink)

We classify the asymptotic densities of the sets according to their level in the Ershov hierarchy. In particular, it is shown that for, a real is the density of an n‐c.e. set if and only if it is a difference of left‐ reals. Further, we show that the densities of the ω‐c.e. sets coincide with the densities of the sets, and there are ω‐c.e. sets whose density is not the density of an n‐c.e. set for any.

Dans cet article, l’auteur propose une synthèse des différents types d’articulations entre le couple et la famille. Ces distinctions le conduisent à interroger le choix du dispositif thérapeutique.

In noun phrase coordinate constructions, there is a strong tendency for the syntactic structure of the second conjunct to match that of the first; the second conjunct in such constructions is therefore low in syntactic information. The theory of uniform information density predicts that low-information syntactic constructions will be counterbalanced by high information in other aspects of that part of the sentence, and high-information constructions will be counterbalanced by other low-information components. Three predictions follow: lexical probabilities will be lower in (...) second conjuncts than first conjuncts; lexical probabilities will be lower in matching second conjuncts than nonmatching ones; and syntactic repetition should be especially common for low-frequency NP expansions. Corpus analysis provides support for all three of these predictions. (shrink)

Being based on the observation that a conjugate pair of representations, or dual logic, is a necessity under the presence of chaos, a new interpretation of quantum theory is proposed as describingproto-chaos. This chaos has to be a result of basic nonlinearity in the dynamic structure, of which, however, the nonchaotic phase seems to lie ourside the reach of experimental technique, thus the term proto-chaos. Nevertheless, assuming no extra degrees of freedom, the interpretation clarifies a number of riddles posed (...) hitherto and throws some light on the overall hierarchical structure of our understanding and description of nature. (shrink)

In this paper we prove that the preordering $\lesssim $ of provable implication over any recursively enumerable theory $T$ containing a modicum of arithmetic is uniformly dense. This means that we can find a recursive extensional density function $F$ for $\lesssim $. A recursive function $F$ is a density function if it computes, for $A$ and $B$ with $A\lnsim B$, an element $C$ such that $A\lnsim C\lnsim B$. The function is extensional if it preserves $T$-provable equivalence. Secondly, we prove a (...) general result that implies that, for extensions of elementary arithmetic, the ordering $\lesssim $ restricted to $\Sigma_{n}$-sentences is uniformly dense. In the last section we provide historical notes and background material. (shrink)

While some argue that this German Catholic philosopher and theologian neglected the role of procreation in marriage, this book shows that von Hildebrand's writings on reverence and superabundant finality contribute to a contemporary understanding of the significance of procreation within marriage. Schemenauer analyzes von Hildebrand's integration of conjugal love and procreation, showing him to be an insightful and parallel voice to the that of John Paul II.

Abstract.The partial ordering of Medvedev reducibility restricted to the family of Π01 classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a Π01 class, which we call a ``c.e. separating class''. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes.

This paper proposes a formalization of the class of sentences quantified by most, which is also interpreted as proportion of or majority of depending on the domain of discourse. We consider sentences of the form “Most A are B”, where A and B are plural nouns and the interpretations of A and B are infinite subsets of \. There are two widely used semantics for Most A are B: \ > C \) and \ > \dfrac{C}{2} \), where C denotes (...) the cardinality of a given finite set X. Although is more descriptive than, it also produces a considerable amount of insensitivity for certain sets. Since the quantifier most has a solid cardinal behaviour under the interpretation majority and has a slightly more statistical behaviour under the interpretation proportional of, we consider an alternative approach in deciding quantity-related statements regarding infinite sets. For this we introduce a new semantics using natural density for sentences in which interpretations of their nouns are infinite subsets of \, along with a list of the axiomatization of the concept of natural density. In other words, we take the standard definition of the semantics of most but define it as applying to finite approximations of infinite sets computed to the limit. (shrink)

We clarify different definitions of the density matrix by proposing the use of different names, the full density matrix for a single-closed quantum system, the compressed density matrix for the averaged single molecule state from an ensemble of molecules, and the reduced density matrix for a part of an entangled quantum system, respectively. We show that ensembles with the same compressed density matrix can be physically distinguished by observing fluctuations of various observables. This is in contrast to a general belief (...) that ensembles with the same compressed density matrix are identical. Explicit expression for the fluctuation of an observable in a specified ensemble is given. We have discussed the nature of nuclear magnetic resonance quantum computing. We show that the conclusion that there is no quantum entanglement in the current nuclear magnetic resonance quantum computing experiment is based on the unjustified belief that ensembles having the same compressed density matrix are identical physically. Related issues in quantum communication are also discussed. (shrink)

We present a population density and moment-based description of the stochastic dynamics of domain $${\text{Ca}}^{2+}$$ -mediated inactivation of L-type $${\text{Ca}}^{2+}$$ channels. Our approach accounts for the effect of heterogeneity of local $${\text{Ca}}^{2+}$$ signals on whole cell $${\text{Ca}}^{2+}$$ currents; however, in contrast with prior work, e.g., Sherman et al. :985–995, 1990), we do not assume that $${\text{Ca}}^{2+}$$ domain formation and collapse are fast compared to channel gating. We demonstrate the population density and moment-based modeling approaches using a 12-state Markov chain model (...) of an L-type $${\text{Ca}}^{2+}$$ channel introduced by Greenstein and Winslow :2918–2945, 2002). Simulated whole cell voltage clamp responses yield an inactivation function for the whole cell $${\text{Ca}}^{2+}$$ current that agrees with the traditional approach when domain dynamics are fast. We analyze the voltage-dependence of $${\text{Ca}}^{2+}$$ inactivation that may occur via slow heterogeneous domain [ $${\text{Ca}}^{2+}$$ ]. Next, we find that when channel permeability is held constant, $${\text{Ca}}^{2+}$$ -mediated inactivation of L-type channels increases as the domain time constant increases, because a slow domain collapse rate leads to increased mean domain [ $${\text{Ca}}^{2+}$$ ] near open channels; conversely, when the maximum domain [ $${\text{Ca}}^{2+}$$ ] is held constant, inactivation decreases as the domain time constant increases. Comparison of simulation results using population densities and moment equations confirms the computational efficiency of the moment-based approach, and enables the validation of two distinct methods of truncating and closing the open system of moment equations. In general, a slow domain time constant requires higher order moment truncation for agreement between moment-based and population density simulations. (shrink)

Les auteurs de cet article interrogent le meurtre conjugal à la lumière de la psychologie clinique, selon le référentiel psychanalytique. À partir d’un cas clinique, ils montrent en quoi la scène conjugale apparaît comme un autre lieu de répétition de l’expérience traumatique. Plus précisément, ils discutent l’hypothèse selon laquelle la violence et le meurtre conjugal constituent une tentative de réappropriation subjective des expériences traumatiques familiales. Les résultats de leur analyse permettent de confirmer cette hypothèse et d’apporter de nouvelles pistes de (...) réflexion pour la recherche. (shrink)

It is well known that density matrices can be used in quantum mechanics to represent the information available to an observer about either a system with a random wave function (“statistical mixture”) or a system that is entangled with another system (“reduced density matrix”). We point out another role, previously unnoticed in the literature, that a density matrix can play: it can be the “conditional density matrix,” conditional on the configuration of the environment. A precise definition can be given in (...) the context of Bohmian mechanics, whereas orthodox quantum mechanics is too vague to allow a sharp definition, except perhaps in special cases. In contrast to statistical and reduced density matrices, forming the conditional density matrix involves no averaging. In Bohmian mechanics with spin, the conditional density matrix replaces the notion of conditional wave function, as the object with the same dynamical significance as the wave function of a Bohmian system. (shrink)

The core structures of d 111 ¢ screw dislocations in bcc metals are studied using density functional theory in the local-density approximation. For Mo and Fe, direct calculations of the core structures show the cores to be symmetric with respect to 180° rotations around an axis perpendicular to the dislocation line. The magnetic moment in the Fe core is shown to be reduced relative to the bulk value. Calculations of n surfaces and the elastic constants B , C ' and (...) c 44 are reported for Fe and all group VB and VIB metals. Using a criterion suggested by Vitek and Duesbery the calculations point to symmetric core structures for all the studied metals. (shrink)

Le conseil conjugal et familial propose un premier travail avec les personnes, les couples ou les familles qui rencontrent des difficultés d’ordre conjugal, parental ou familial. Il favorise, dans un cadre sécurisé, la mise en mots des ressentis et la remise en route de la pensée pour permettre aux personnes d’accéder à une représentation de leur situation et de ce qui les fait souffrir. Le conseiller conjugal et familial, de par la contenance qu’il offre, apporte ainsi une aide pour sortir (...) du chaos intérieur et pour entrer en dialogue avec soi-même ainsi qu’à l’intérieur du couple ou de la famille. Cette prise en charge peut se révéler suffisante pour surmonter des difficultés passagères ; elle pourra aussi, par le travail d’élaboration psychique qu’elle favorise, déboucher sur un travail thérapeutique à proprement parler auprès d’un thérapeute individuel, conjugal ou familial. (shrink)

We prove several theorems about the cardinal $\mathfrak{g}$ associated with groupwise density. With respect to a natural ordering of families of nond-ecreasing maps fromω toω, all families of size $< \mathfrak{g}$ are below all unbounded families. With respect to a natural ordering of filters onω, all filters generated by $< \mathfrak{g}$ sets are below all non-feeble filters. If $\mathfrak{u}< \mathfrak{g}$ then $\mathfrak{b}< \mathfrak{u}$ and $\mathfrak{g} = \mathfrak{d} = \mathfrak{c}$ . (The definitions of these cardinals are recalled in the introduction.) Finally, (...) some consequences deduced from $\mathfrak{u}< \mathfrak{g}$ by Laflamme are shown to be equivalent to $\mathfrak{u}< \mathfrak{g}$. (shrink)

We study the relationship between the cofinality $c(Sym(\omega))$ of the infinite symmetric group and the cardinal invariants $\frak{u}$ and $\frak{g}$ . In particular, we prove the following two results. Theorem 0.1 It is consistent with ZFC that there exists a simple $P_{\omega_{1}}$ -point and that $c(Sym(\omega)) = \omega_{2} = 2^{\omega}$ . Theorem 0.2 If there exist both a simple $P_{\omega_{1}}$ -point and a $P_{\omega_{2}}$ -point, then $c(Sym(\omega)) = \omega_{1}$.

Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. They are difficult because the fundamental dynamical laws of physics do not privilege an arrow of time, and the quantum-mechanical wave function describes a high-dimensional reality that is radically different from our ordinary experiences. -/- In this paper, I characterize and elaborate on the ``Wentaculus” theory, a new approach to time’s (...) arrow in a quantum universe that offers a unified solution to both problems. Central to the Wentaculus are (i) Density Matrix Realism, the idea that the quantum state of the universe is objective but can be impure, and (ii) the Initial Projection Hypothesis, a new law of nature that selects a unique initial quantum state. On the Wentaculus, the quantum state of the universe is sufficiently simple to be a law, and the arrow of time can be traced back to an exact boundary condition. It removes the intrinsic vagueness of the Past Hypothesis, eliminates the Statistical Postulate, provides a higher degree of theoretical unity, and contains a natural realization of “strong determinism." I end by responding to four recent objections. In a companion paper, I elaborate on Density Matrix Realism. (shrink)

The main result of this paper is an improvement of the upper bound on the cardinal invariant $cov^*(L_0)$ that was discovered in [11]. Here $L_0$ is the ideal of subsets of the set of natural numbers that have asymptotic density zero. This improved upper bound is also dualized to get a better lower bound on the cardinal $non^*(L_0)$. En route some variations on the splitting number are introduced and several relationships between these variants are proved.