The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum (...) mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing (...) machine – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual (...) to quantum contextuality. The relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

The development of personal technologies has recently shifted from devices that seek to capture user attention to those that aim to improve user well-being. Digital wellness technologies use the same attractive qualities of other persuasive apps to motivate users towards behaviors that are personally and socially valuable, such as exercise, wealth-management, and meaningful communication. While these aims are certainly an improvement over the market-driven motivations of earlier technologies, they retain their predecessors’ focus on influencing user behavior as a primary metric (...) of success. Digital wellness technologies are still persuasive technologies, and they do not evade concerns over whether their influence on users is ethically justified. In this paper, we describe several ethical frameworks with which to assess the justification of digital wellness technologies’ influence on users. We propose that while some technologies help users to complete tasks and satisfy immediate preferences, other technologies encourage users to reflect on the values underlying their habits and teach them to evaluate their lives’ competing demands. While the former approach to digital wellness technology is not unethical, we propose that the latter approach is more likely to lead to skillful user engagement with technology. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate (...) the resulting theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

Recent studies have explored the effectiveness of open-label placebos for a variety of conditions, including chronic pain, cancer-related fatigue and irritable bowel syndrome. OLPs are thought to sidestep traditional ethical worries about placebos because they do not involve deception: with an OLP, patients or subjects are told outright that they are not given an active substance. As deception is framed as the primary hurdle to ethical placebo use, the door is ostensibly opened to ethical studies of OLPs. In this article, (...) I suggest that even though OLPs seemingly do not involve deception, there are other ethical considerations in their clinical investigation and subsequent use. Research ethics often focusses on informed consent—of which, deception and honesty are a piece—as a means to justify research practices with human subjects. Yet, it is but one of the ethical considerations that should be taken into account. With research into placebo effects in particular, I argue that the history of clinical placebo use grounds special considerations for OLP research that go beyond respect for the autonomy of individual patients through informed consent and encompass structural concerns about the type of patient for whom a placebo has historically been thought appropriate. (shrink)

This paper argues that the concept of paternalism is currently overextended to include a variety of actions that, while resembling paternalistic actions, are importantly different. I use the example of Japanese physicians’ non-disclosures of cancer diagnoses directly to patients, arguing that the concept of maternalism better captures these actions. To act paternalistically is to substitute one's own judgement for that of another person and decide in place of that person for his/her best interest. By contrast, to act maternalistically is to (...) decide for another person based on a reasonable understanding of that person's own preferences. The concept of maternalism allows for a more thorough assessment of the moral justification of these types of actions. I conclude that it is possible, at least in principle, to justify Japanese physicians’ non-disclosures, and that this justification must be based on an understanding of these actions as maternalistic. (shrink)

The CMI Millennium “P vs NP Problem” can be resolved e.g. if one shows at least one counterexample to the "P = NP" conjecture. A certain class of problems being such counterexamples will be formulated. This implies the rejection of the hypothesis that "P = NP" for any conditions satisfying the formulation of the problem. Thus, the solution "P is different from NP" of the problem in general is proved. The class of counterexamples can be interpreted as any quantum superposition (...) of any finite set of quantum states. The Kochen-Specker theorem is involved. Any fundamentally random choice among a finite set of alternatives belong to "NP" but not to "P". The conjecture that the set complement of "P" to "NP" can be described by that kind of choice exhaustively is formulated. (shrink)

I characterize Nishida Kitarō’s metaethical perspective throughout his work but focus especially on his later papers, most notably his writings on kōiteki chokkan, or active intuition. These include Kōiteki Chokkan no Tachiba (published in 1935), Kōiteki Chokkan (published in 1937), as well as Nothingness and the Religious Worldview (Bashoteki Ronri to Shūkyōteki Sekaikan, published in 1945, and widely available in translation). I explore affinities between Nishida’s approach to ethics and metaethical intuitionism and sensibility theory. I then use this analysis to (...) identify a lesson that Nishida offers to contemporary metaethicists. (shrink)

Trust is a core feature of the physician-patient relationship, and risk is central to trust. Patients take risks when they trust their providers to care for them effectively and appropriately. Not all patients take these risks: some medical relationships are marked by mistrust and suspicion. Empirical evidence suggests that some patients and families of color in the United States may be more likely to mistrust their providers and to be suspicious of specific medical practices and institutions. Given both historical and (...) ongoing oppression and injustice in American medical institutions, such mistrust can be apt. Yet it can also frustrate patient care, leading to family and provider distress. In this paper, I propose one way that providers might work to reestablish trust by taking risks in signaling their own trustworthiness. This interpersonal step is not meant to replace efforts to remedy systemic injustice, but is an immediate measure for addressing mistrust in occurrent cases. (shrink)

Ethical analyses of the effects of neural interventions commonly focus on changes to personality and behavior, interpreting these changes in terms of authenticity and identity. These phenomena have led to debate among ethicists about the meaning of these terms for ethical analysis of such interventions. While these theoretical approaches have different criteria for ethical significance, they agree that patients’ reports are concerning because a sense of self is valuable. In this paper, I question this assumption. I propose that the Buddhist (...) theory of no‐self offers a novel approach to making ethical sense of patients’ claims following deep brain stimulation. This alternative approach is based on the value of insight into patterns of cause and effect among mental states and actions. (shrink)

Bioethics seeks to answer questions and resolve problems that change along with developments in medicine and biology. Ethical justification plays a crucial role in bioethical analysis by clarifying the reasons that support complex judgments about particular actions and general policies.1 It helps bioethicists to determine what to allow, forbid, support, and minimize. When there is disagreement, it can also aid understanding of competing positions. However, at times, disagreement on particular issues becomes so entrenched that understanding seems impossible. In such circumstances, (...) how might bioethicists proceed? In answering this question, this paper considers a particularly significant area of.. (shrink)

The creation of guidelines has long been a popular means of conveying normative requirements in scientific and medical research. The recent case of He Jiankui, whose research flouted both widely accepted ethical standards and a set of field-specific guidelines he co-authored, raises the question of whether guidelines are an effective means of preventing misconduct. This paper advances the theory that guidelines can facilitate moral rationalization, a form of motivated reasoning. Moral rationalization in research occurs when individuals justify their actions with (...) plausible reasons that cohere with their moral standards. This allows them to act as they want while believing in their own goodness. If guidelines facilitate moral rationalization, this has implications for research ethics training and for the work of applied ethicists. Research ethics training ought to incorporate reflection on conative features of reasoning, including incentives to commit misconduct, and applied ethicists ought to be circumspect about their use of ethics guidelines. Otherwise, they are feeding the fire of rationalization with the cognitive material practitioners need to accomplish their desired ends. (shrink)

Indeterminism of quantum mechanics is considered as an immediate corollary from the theorems about absence of hidden variables in it, and first of all, the Kochen – Specker theorem. The base postulate of quantum mechanics formulated by Niels Bohr that it studies the system of an investigated microscopic quantum entity and the macroscopic apparatus described by the smooth equations of classical mechanics by the readings of the latter implies as a necessary condition of quantum mechanics the absence of (...) hidden variables, and thus, quantum indeterminism. Consequently, the objectivity of quantum mechanics and even its possibility and ability to study its objects as they are by themselves imply quantum indeterminism. The so-called free-will theorems in quantum mechanics elucidate that the “valuable commodity” of free will is not a privilege of the experimenters and human beings, but it is shared by anything in the physical universe once the experimenter is granted to possess free will. The analogical idea, that e.g. an electron might possess free will to “decide” what to do, scandalized Einstein forced him to exclaim (in a letter to Max Born in 2016) that he would be а shoemaker or croupier rather than a physicist if this was true. Anyway, many experiments confirmed the absence of hidden variables and thus quantum indeterminism in virtue of the objectivity and completeness of quantum mechanics. Once quantum mechanics is complete and thus an objective science, one can ask what this would mean in relation to classical physics and its objectivity. In fact, it divides disjunctively what possesses free will from what does not. Properly, all physical objects belong to the latter area according to it, and their “behavior” is necessary and deterministic. All possible decisions, on the contrary, are concentrated in the experimenters (or human beings at all), i.e. in the former domain not intersecting the latter. One may say that the cost of the determinism and unambiguous laws of classical physics, is the indeterminism and free will of the experimenters and researchers (human beings) therefore necessarily being out of the scope and objectivity of classical physics. This is meant as the “deterministic subjectivity of classical physics” opposed to the “indeterminist objectivity of quantum mechanics”. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of (...) a subspace of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n (...) = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

This paper concerns metaphysical indeterminacy and, in particular, the issue of whether quantum mechanics gives motivation for thinking the world contains it. In a previous paper (Darby G, Pickup M. Synthese 198:1685–1710, 2021), we have offered one way to think about metaphysical indeterminacy which we take to avoid some issues arising from certain features of quantum mechanics (such as the Kochen-Specker theorem). This approach has recently been criticised by Corti (Synthese, forthcoming), and we take this opportunity to respond. (...) Our paper will therefore reply to Corti’s argument, but we also take it as a case study in ‘naturalistic metaphysics’ and hence to contribute to a more general discussion of the relationship between philosophy of science and analytic metaphysics. (shrink)

It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default, sheaf theory, topos theory, and non-standard or signed probabilities. In this paper we propose a treatment of contextual properties that is specific to quantum mechanics, as it relies on the relationship between contextuality and indistinguishability. In particular, we propose that if we assume the ontological thesis that quantum particles or properties (...) can be indistinguishable yet different, no contradiction arising from a Kochen-Specker-type argument appears: when we repeat an experiment, we are in reality performing an experiment measuring a property that is indistinguishable from the first, but not the same. We will discuss how the consequences of this move may help us understand quantum contextuality. (shrink)

Laura Specker Sullivan (2022) makes a fairly compelling case for the value of the perspectives of Buddhist practitioners in neuroethics. In this study, Tibetan Buddhist monks have been asked, among other things, whether consciousness, in brain-injured patients in a minimally conscious state, entails a duty to preserve life. In our view, some of the participants’ responses could be used to inform the bioethical debate on death determination.

In this paper, I argue that Conway and Kochen’s Free Will Theorem (1,2) to the conclusion that quantum mechanics and relativity entail freedom for the particles, does not change the situation in favor of a libertarian position as they would like. In fact, the theorem more or less implicitly assumes that people are free, and thus it begs the question. Moreover, it does not prove neither that if people are free, so are particles, nor that the property people possess (...) when they are said to be free is the same as the one particles possess when they are claimed to be free. I then analyze the Free State Theorem (2), which generalizes the Free Will Theorem without the assumption that people are free, and I show that it does not prove anything about free will, since the notion of freedom for particles is either inconsistent, or it does not concern our common understanding of freedom. In both cases, the Free Will Theorem and the Free State Theorem do not provide any enlightenment on the constraints physics can pose on free will. (shrink)

If the concept of “free will” is reduced to that of “choice” all physical world shares the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly a certain goal, and the choice is only the mean, by which the aim can be achieved or not by the one who determines the target. Thus, for example, an electron has always a choice but not free will unlike a human possessing both. Consequently, and paradoxically, (...) the determinism of classical physics is more subjective and more anthropomorphic than the indeterminism of quantum mechanics for the former presupposes certain deterministic goal implicitly following the model of human freewill behavior. Quantum mechanics introduces the choice in the fundament of physical world involving a generalized case of choice, which can be called “subjectless”: There is certain choice, which originates from the transition of the future into the past. Thus that kind of choice is shared of all existing and does not need any subject: It can be considered as a low of nature. There are a few theorems in quantum mechanics directly relevant to the topic: two of them are called “free will theorems” by their authors (Conway and Kochen 2006; 2009). Any quantum system either a human or an electron or whatever else has always a choice: Its behavior is not predetermined by its past. This is a physical law. It implies that a form of information, the quantum information underlies all existing for the unit of the quantity of information is an elementary choice: either a bit or a quantum bit (qubit). (shrink)

If the concept of “free will” is reduced to that of “choice” all physical world share the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly certain preliminary goal, and the choice is only the mean, by which it can be achieved or not by the one who determines the goal. Thus, for example, an electron has always a choice but not free will unlike a human possessing both. Consequently, and paradoxically, the (...) determinism of classical physics is more subjective and more anthropomorphic than the indeterminism of quantum mechanics for the former presupposes certain deterministic goal implicitly following the model of human freewill behavior. The choice is usually linked to very complicated systems such as human brain or society and even often associated with consciousness. In its background, the material world is deterministic and absolutely devoid of choice. However, quantum mechanics introduces the choice in the fundament of physical world, in the only way, in which it can exist: All exists in the “phase transition” of the present between the uncertain future and the well-ordered past. Thus the present is forced to choose in order to be able to transform the coherent state of future into the well-ordering of past. The concept of choice as if suggests that there is one who chooses. However quantum mechanics involves a generalized case of choice, which can be called “subjectless”: There is certain choice, which originates from the transition of the future into the past. Thus that kind of choice is shared of all existing and does not need any subject: It can be considered as a low of nature. There are a few theorems in quantum mechanics directly relevant to the topic: two of them are called “free will theorems” by their authors, Conway and Kochen, and according to them: “Do we really have free will, or, as a few determined folk maintain, is it all an illusion? We don’t know, but will prove in this paper that if indeed there exist any experimenters with a modicum of free will, then elementary particles must have their own share of this valuable commodity” “The import of the free will theorem is that it is not only current quantum theory, but the world itself that is non-deterministic, so that no future theory can return us to a clockwork universe”. Those theorems can be considered as a continuation of the so-called theorems about the absence of “hidden variables” in quantum mechanics. (shrink)