# How the Weak Variance of Momentum Can Turn Out to be Negative

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s10701-015-9885-6

- Cite this article as:
- Feyereisen, M.R. Found Phys (2015) 45: 535. doi:10.1007/s10701-015-9885-6

- 1 Citations
- 774 Downloads

## Abstract

Weak values are average quantities, therefore investigating their associated variance is crucial in understanding their place in quantum mechanics. We develop the concept of a position-postselected *weak variance* of momentum as cohesively as possible, building primarily on material from Moyal (Mathematical Proceedings of the Cambridge Philosophical Society, Cambridge University Press, Cambridge, 1949) and Sonego (Found Phys 21(10):1135, 1991) . The weak variance is defined in terms of the Wigner function, using a standard construction from probability theory. We show this corresponds to a measurable quantity, which is not itself a weak value. It also leads naturally to a connection between the imaginary part of the weak value of momentum and the quantum potential. We study how the negativity of the Wigner function causes negative weak variances, and the implications this has on a class of ‘subquantum’ theories. We also discuss the role of weak variances in studying determinism, deriving the classical limit from a variational principle.

### Keywords

Weak value Variance Postselection Thermodynamics Determinism## 1 Weak Values and Variances

### 1.1 Weak Values

#### 1.1.1 Introduction

This study is organised as follows. We begin by reviewing the relation between the real parts of weak values and the phase space formalism of quantum mechanics. The quasistatistical interpretation of this formalism suggests a natural and unique definition for the “weak variance” in terms of the Wigner function. In Sect. 2, the embedding of configuration space formalisms into the phase space formalism then allows the weak variance to be related to the thermodynamics of the Madelung fluid, to the de Broglie–Bohm quantum potential \(Q\), and to an experimentally measurable combination \(\mathrm {Re}({_{x}\hat{p}^2_{\psi }}-{_{x}\hat{p}_{\psi }}^2)\) of weak values.

In Sect. 3 we discuss the titular problem, that the negativity of the Wigner function can result in a negative weak variance. The weak variance therefore does not define a standard deviation of weak measurements from the weak value. The sign of the weak variance is shown to be related to the local extrema of the probability amplitude. The relation between weak variances and determinism paves the way for a detailed study of the classical limit in Sect. 4. We derive the classical limit from a variational principle involving the average stochastic contribution to the total momentum variance, and demonstrate the existence of a semiclassical limit where particle motion occurs, on average, classically.

#### 1.1.2 The Importance of the Measurement Apparatus

It is important to note [3] that weak values are not measured independently of an interaction Hamiltonian or a meter system. The real part of a weak value is well known to be the conditional average one would measure in the ideal limit of zero disturbance form the measuring apparatus [4, 5, 6]. The imaginary part of a weak measurement is unrelated to observables, it arises from the disturbance due to coupling with a measurement apparatus [4]. As such, it is not uniquely defined and not intrinsic to the measured system [3].

We shall therefore discuss the imaginary part *as if* it were intrinsic to the system, absorbing all dependence on the measurement protocol into the parameter \(\eta \). This has the disadvantage of illusorily disconnecting these results from the experimental setups that give rise to them, which comes hand in hand with the hidden advantage of being a more universal treatment than that derived from any specific experimental setup. As such, the weak variance we define is related to the stochastic nature of quantum theory; it is not the experimental variance of any apparatus (although it may manifest itself as such in a measurement setting). Not without irony, this apparatus-agnostic treatment will suggest multiple possible experimental setups to study the weak variance (Sect. 2.3).

#### 1.1.3 Weak Values as Conditional Expectations

In the quasistatistical interpretation [8, 9, 10] of the phase space formalism [11, 12, 13, 14], the canonical observables \(x,p\in \mathbb {R}\) are treated as random variables. Since these observables are incompatible, no joint probability distribution can reasonably be given for them—the phase space distributions are understood to be bivariate *pseudoprobability* distributions. For example, the Wigner function \(\mathcal {W}\left( x,p\right) \) is not positive definite. For a review of extended probability we refer the reader to [10].

Our choice of the Wigner function to define the weak variance is motivated by this quasidistribution’s special status amongst physically equivalent representations of the phase space formalism (which correspond to different choices of operator ordering, \([\hat{x},\hat{p}]\ne 0\)). Indeed, only the Wigner function produces the correct marginals and observable averages by direct integration [13]; other quasidistributions require explicit convolutions over noncommutativity terms. As such, the Wigner function is uniquely singled out by the quasistatistical outlook, where such noncommutativity terms would interfere with the interpretation of observable averages as moments of the pseudodistribution.

*defined*by its distribution. Individual realisations of \(x\) and \(p\) are meaningful positions and momenta only because their distributions (the marginals of the Wigner quasidistribution) are proper distributions. The random variable \(p|x\) is defined by the conditional quasidistribution \(\mathcal {W}\left( p|x\right) \), which from (4) is clearly not nonnegative. Hence individual realisations of \(p|x\) may occur with negative probability. This follows the same logic as stating that joint realisations \((x,p)\) may occur with negative probability as realisations of the full Wigner function.

However, the fact that individual realisations of \(p|x\) can occur with negative probabilities does not preclude the use of this conditional variable as an intermediate step in a calculation of a physical quantity [10]. Furthermore, the mean or the variance of \(p|x\) need not be confined to intermediate steps in this way, since they are not random variables but instead contribute to the description of the physical state of an ensemble (i.e. they describe the Wigner function as a whole rather than the outcome of a measurement).

### 1.2 Weak Variance as the Second Conditional Cumulant

Through the statistical Wigner–Moyal formalism described above and in [8], the weak value \(\tilde{p}\) takes on the role of a statistical average. However, an average is scientifically worthless unless one can provide an associated spread. It is well established that the variance, i.e. the second central moment of a distribution, is equal to the second cumulant of that distribution. With some effort, the same can be shown of conditional variances and conditional cumulants [17], and extended to those of pseudodistributions like the Wigner function [8].

#### 1.2.1 Derivation

#### 1.2.2 Other Expressions for the Weak Variance

*measurable*in an experimental setting.

### 1.3 The Uncertainty Principle

It is possible to relate the conditional variance \(\mathbb {V}_{p}\left( p|x\right) \) to the unconditional variance \(\mathbb {V}\left( p\right) \) that appears in the uncertainty relations.

#### 1.3.1 The Law of Total Variance

These two parts of the total variance allow interesting limits where their contributions are negligible one with respect to the other. For example, in stationary states there is no variability in \(\tilde{p}(x)\) by construction, and the total variance of the state is supported entirely by the weak variance. A more detailed discussion of these limits, and their relevance to the classical limit, is postponed until the relevant properties of the weak variance \(\mathbb {V}_{p}\left( p|x\right) \) are introduced (Sect. 4.1).

#### 1.3.2 Apparatus versus Fundamental Weak Variances

This connection between the weak variance and the momentum variance reconfirms that the weak variance is central to understand the predictions of QM. Oddly, we find that the weak variance is related to the fundamental momentum variance \(\mathbb {V}(p)\)*of a state* (as described in the Robertson uncertainty relations) rather than the momentum change \(\Delta p\) when a state is *disturbed* (as originally described by Heisenberg).

Since \(\mathbb {V}_{p}\left( p|x\right) \) is given by differentiation of the wavefunction amplitude (10), it depends only on the values of the wavefunction amplitude in the neighbourhood of the postselection point \(x\). This choice of postselection point is not apparatus-dependent, although issues such as pointer variance for the postselection variable will certainly affect the analysis of any experimental study.

The weak variance is further distinguished from an ‘apparatus quantity’ by the fact that it is not an ‘observable’, in the sense that it does not correspond to a Hermitean operator (cf Sect. 2.1.3) or equivalently (in the presentation adopted above) to a real random variable. Instead, as a cumulant of the Wigner function, it describes the state of the system, irrespective of how it is measured.

## 2 Connection to Other Formalisms

### 2.1 Bohmian Approach to the Weak Variance

#### 2.1.1 Prelude

#### 2.1.2 An Expression for \(\mathbb {V}_{p}\left( p|x\right) \) in Terms of Weak Values

#### 2.1.3 The Weak Variance is Not a Weak Value

We have reached an expression for \(\mathbb {V}_{p}\left( p|x\right) \) which superficially has the form \(\langle p^2 \rangle - \langle p\rangle ^2\). Let it be noted, however, that this is not a construction in terms of moments of a distribution: the complex weak value \({_{x}\hat{p}_{\psi }}\) is not a moment, it is the real part \(\tilde{p} = \mathrm {Re}({_{x}\hat{p}_{\psi }})\) that plays this role.

### 2.2 Hydrodynamical Approach to the Weak Variance

The real part \(\tilde{p}\) of the weak value is the (Euler-picture) momentum of the Madelung fluid at position \(x\). Classically, the fluid momentum is the (local) average momentum of a particle in the fluid; quantum mechanically, \(\tilde{p}\) retains this qualitative feature of being a local average as discussed above.

This expression (33) should be compared with the *independently motivated* expression (10) for the weak variance. In this light, the equation of state may be justified (rather than postulated) by writing the Wigner function from (33) in terms of its marginal, using (10) to find the solution \(P=\frac{\rho }{m}\mathbb {V}_{p}\left( p|x\right) \), and then invoking this analogy to kinetic theory to link \(P\), \(\rho \) and \(T\) by an equation of state.

Physical potentials tend to arise from interactions (mediated by gauge fields in the Standard Model or the metric field in General Relativity), but the quantum ‘potential’ \(Q\) puzzlingly appears to pop out of the Schrödinger equation. Interpreting the weak variance as a thermal quantity pushes the ‘interactions’ which give rise to \(Q\) into a hypothetical microstate description from which postselected quantum mechanics emerges thermodynamically, potentially resolving this philosophical worry.

We purposefully do not propose at this time any underlying statistical thermodynamical picture, instead pointing the reader to the discussion of “subquantum theory” in [18], which suggests that one should analyse the properties of the Wigner Function (such as, in this study, its weak variance) in order to gather some information about such a theory (cf. Sect. 3.4). It is a strength of thermodynamics that it does not formally require any model for microstates.

### 2.3 Measurement of the Weak Variance

We have shown that the weak variance can be described without reference to the properties of a specific apparatus, using only the description of the system’s state through the Wigner quasidistribution or the wavefunction \(\psi =Re^{iS}\). However, combining the many equivalent expressions developed in this section with the \(\eta \) parameterisation of the imaginary part (2), shows that this quantity should in fact be easy to measure in a number of experimental settings.

Unsurprisingly, the weak variance of momentum can be measured using weak measurements of momentum. The form (29) is available if one has access to the second-order weak value \({_{x}\hat{p}^2_{\psi }}\). With a good calibration of the apparatus’ \(\eta \) and a good resolution over \(x\), (21) can also be used.

More interestingly, weak measurements of momentum are not necessary to quantify the weak momentum variance. Given the probability density \(\rho \left( x\right) \) determined from a series of position measurements, one may simply use the \(-\partial _x^{2}\ln \left( \rho \right) \) form to find the weak variance at any position, without performing a single momentum measurement, weak or otherwise. A combination of weak momentum measurements and projective position measurements (possibly the same measurements used for postselection) can be used to cross-check the previous two measurements using a single dataset.

One might also verify experimentally the law of total variance (14): for example, one can measure the total variance \(\mathbb {V}\left( p\right) \) from projective momentum measurements, and one can measure each of the partial variances from weak momentum measurements.

Having these many experimentally independent ways to measure \(\mathbb {V}_{p}\left( p|x\right) \) should allow this formalism to be stringently tested by contemporary instruments (modulo a calibration or model for the apparatus parameter \(\eta \)).

## 3 Negative Weak Variances

Quantum Mechanics predicts that in some regions, \(\mathbb {V}_{p}\left( p|x\right) <0\); this odd behaviour is known to the literature, but often glossed over (cf. e.g. the footnote to the Appendices of our primary source [8]). The Bohmian and hydrodynamical formalisms even allow the ‘weak trajectories’ \(x\left( t\right) \) to cross from regions where \(\mathbb {V}_{p}\left( p|x\right) \) is positive to regions where it is negative. It is not sufficient to say ‘weak values can lie outside of the eigenspectrum’ to explain why a variance can turn out to be negative.

Furthermore, this is not just an odd but unmeasurable feature of the theory, like the negative probabilities of realisations of \(p|x\) [8, 10, 12]. The second cumulant may, as we have just argued, be *measurably* negative.

### 3.1 Explaining \(\mathbb {V}_{p}\left( p|x\right) <0\)

The reason we identify \(\mathbb {V}_{p}\left( p|x\right) \) as a (conditional) variance is that it appears as the second term in the expansion of the (conditional) characteristic function into cumulants (8). We therefore consider to what extent such an interpretation for this quantity is warranted beyond the (experimentally successful [27]) identification of the first cumulant as a conditional average.

### 3.2 Wigner Negativity and Standard Deviations

*ad hoc*extension to negative values,

However, the conditional distribution is a pseudodistribution, invalidating the simple expression (36). Consider the integral form (35) of the weak variance: even when \(\mathbb {V}_{p}\left( p|x\right) = 0\), there can be a spread of \(p|x\) away from the weak value, since the negative and positive parts of the pseudodistribution \(\mathcal {W}\left( p|x\right) \) may cancel under the integral defining a cumulative distribution, without any information given about the squared-term \((p|x - \tilde{p})^2\). Expressed more formally, deviation-bounding theorems such as the Chebyschev inequality do not apply to quasidistributions. This possibility for *stochasticity at zero variance* is further emphasised by the fact that higher \(n\ge 2\) cumulants (8,9) are generally nonzero, indicating that the pseudoprobability distribution is generally nontrivial.

However, this approach is similarly unacceptable. The expectation \(\mathbb {E}_{p}\) is also an integral over \(p\), yet if we want to consider deviations away from \(\tilde{p}\) then we cannot replace the conditional distribution by its absolute value in this expectation integral: changing the distribution changes the random variable of which we consider the mean! Furthermore, the correct normalisation of the quasidistribution \(\int dp \mathcal {W}\left( p|x\right) = 1\) guarantees that \(\mathrm {abs}(\mathcal {W}\left( p|x\right) )\) is not normalised, and so it is not a proper probability distribution either.

In light of these failures, it is even possible to dispute whether a standard deviation is a sensible quantity for quasidistributions. Unlike the variance, which pertains to the distribution, the standard deviation is a deviation of *realisations* of a random variable from their mean. As discussed previously, realisations of \(p|x\) can occur with negative probability: building a sample standard deviation from these phantasmagoric realisations would be meaningless as the final step of a calculation, even in a quasistatistical outlook.

### 3.3 Shape of \(\psi \)

In the description of Bose–Einstein superfluids, a quantum-potential-like term appears in the polar decomposition of the Gross–Pitayevski equation. In this context, \(Q\) is interpreted as the kinetic energy cost of curvature of the condensate wavefunction—it costs energy to squeeze a wavepacket.

Given that the weak variance depends in part on the quantum potential (24), one might wonder whether (by analogy) \(\mathbb {V}_{p}\left( p|x\right) \) is related to the curvature of the wavefunction.

We now consider how the curvature of the wavefunction amplitude, \(R=|\psi |\), determines the sign of the weak variance. The relevant quantity is the convexity \(\partial _x^{2}R\) of the amplitude, which is positive for convex intervals of \(|\psi |\) and negative for concave intervals.

#### 3.3.1 Non-nodal Points

Maxima of the wavefunction amplitude are concave so \(\mathbb {V}_{p}\left( p|x\right) >0\). Near local minima of \(R(x)\), the left-hand side of (38) vanishes and the inequality is never satisfied (since \(\partial _x^2 R >0\)): Hence we expect \(\mathbb {V}_{p}\left( p|x\right) \le 0\) near local minima (again, independently of the specific system under consideration).

In the extremal case, piecewise exponential amplitudes \(R\left( x\right) =\exp (\pm kx)\) always give \(\mathbb {V}_{p}\left( p|x\right) = 0\). These amplitudes are observed e.g. for particles tunnelling into a constant potential barrier.

Since the position-dependence of the amplitude \(R(x)\) is easy to measure with projective position measurements alone, this inequality can serve as a test for the sign of \(\mathbb {V}_{p}\left( p|x\right) \) even in an experiment not optimised to calculate the weak variance. We recommend that experimental probes into negative variances should occur near non-nodal minima of the probability density, since the convexity in other regions may not support negative weak variances.

#### 3.3.2 Nodal Points

A slight complication arises around nodal points \(R\rightarrow 0\) of the wavefunction: The weak variance at the node itself is infinite, given the logarithmic singularity at \(\ln (0)\) that appears in (10).

#### 3.3.3 Illustration in Toy Systems

The study of coherent states in the context of negativity of the Wigner function is motivated by the result [28] that *only* these states are nonnegative everywhere.

We note in passing that the weak variance becomes positively infinite at the nodal points of these systems, as expected from the discussion in the previous section. More interestingly, the weak variance tends (at certain postselections \(x\)) to the zero-point energy when the system is in its ground state. We purposefully do not propose at this time an interpretation of this finding.

### 3.4 Negative Temperatures

If the weak variance is the temperature distribution (34) of the Madelung fluid, then the Madelung fluid can have negative temperatures. Negative temperatures may be surprising, although their study is theoretically well-established [29] and the concept has successfully been applied to several experimental systems exhibiting population inversion. Some interesting prerequisites for negative temperatures are that the internal energy of the system must be bounded from above as well as below, and that \(T=0\) requires the energy to be extremised to one of these bounds. The ideal gas law \(P=\rho k_B T\) shows that the pressure also becomes negative, precisely when the temperature is negative.

One further consequence of weak variances on the thermodynamics of the hydrodynamical formalism is interpretational. Recall that the hydrodynamic momentum \(\tilde{p}=\mathbb {E}(p|x)\) is interpreted [18] as the local average momentum of the fluid particles at a position \(x\). Yet, we have seen (Sect. 3.2) that negative weak variances do not provide a standard deviation or a Chebyschev inequality for the random variable \(p|x\). In the hydrodynamic language, the peculiar momentum of a Madelung fluid particle is not required to be zero, even at zero temperature! Also note that the temperature of a nodal point in the fluid (where we expect to find no fluid particles) is \(+\infty \).

These are the sort of features any “subquantum theory” [18] should exhibit, if such a theory admits the Madelung hydrodynamics as its thermodynamic limit.

## 4 Nondeterminism in Quantum Mechanics

We have already discussed (Sect. 3.2) how a null weak variance still allows stochasticity and nonzero standard deviations. Although \(\mathbb {V}_{p}\left( p|x\right) =0\) does not imply determinism, one might nonetheless consider whether a relation between the weak variance and determinism exists. For example, the highly nonlinear form of the weak variance makes it unlikely that a null weak variance would emerge for superposition states (or, a fortiori, for entangled states). These conditions correspond exactly to the nonclassical regime, where we expect nondeterminism.

### 4.1 The Classical Limit

#### 4.1.1 Consistency of the Classical Limit

It should not be surprising to find that these worrisome negative variances disappear in the classical limit. Heuristically considering the classical limit as the limit of infinitely thin coherent states similarly guarantees \(\mathbb {V}_{p}\left( p|x\right) \ge 0\) since the conditional distribution is nonnegative [28].

However, a stronger statement is also true: weak variances should disappear completely in the classical limit, since classical observables are well-defined and motion is deterministic. We have even shown (Sect. 2.1.3) that there is no classical observable associated to it. The quantum potential behaves like \(Q\rightarrow 0\) in the classical limit.^{1} When \(Q=0\), the Riccati equation (25) admits a trivial solution \(\mathrm {Im}_{x}\hat{p}_{\psi } = 0\) since the weak momentum (\(\in \mathbb {C}\)) tends to the classical momentum (\(\in \mathbb {R}\)). Hence, using (24), \(\mathbb {V}_{p}\left( p|x\right) \rightarrow 0\) classically.

#### 4.1.2 Deriving the Classical Limit

In summary, by minimising the stochastic part of the total variance we can *derive* the classical limit \(Q\rightarrow 0\) of the Hamilton–Jacobi formalism.

### 4.2 \(\mathbb {V}_{p}\left( p|x\right) \rightarrow 0\) as a Semiclassical Limit

Equation (21) states that \(\mathbb {V}_{p}\left( p|x\right) \) is the divergence of the imaginary part of the weak value: when this variance is zero, \(\mathrm {Im}({_{x}\hat{p}_{\psi }})\) is a function of time only. In this case, either (24) or the Ricatti equation (25), gives that \(Q(x,t)=Q(t\,\mathrm {only}) < 0\). Hence the quantum force \(\partial Q /\partial x = 0\): this is [23] the condition that Bohmian trajectories coincide with their classical counterparts. \(\mathbb {V}_{p}\left( p|x\right) \rightarrow 0\) therefore yields classical particle dynamics (on average), occurring at nonclassical energies. Of course, these semiclassical dynamics are localised to specific postselections \(x\): if \(\mathbb {V}_{p}\left( p|x\right) =0,\; \forall x\) then the average weak variance is also zero and we recover the classical limit as derived above.

Consider a particle tunnelling through a constant barrier: The exponential wavefunction amplitude guarantees that \(\mathbb {V}_{p}\left( p|x\right) = 0\) inside the barrier, therefore the tunnelling particle lives in this semiclassical limit and will (on average) follow the path of a classical particle with a higher energy: it will go over the barrier. The fact that tunnelling particles behave semiclassically is indeed why tunnelling problems are successfully visualised and formulated in terms of particles.

### 4.3 Weak Variances Do Not ‘Measure’ a Deterministic Particle Ontology

It is sometimes claimed that the weak value \(\mathrm {Re}({_{x}\hat{p}_{\psi }})\) ‘measures’ the Bohmian momentum [15, 27]. A naive Bohmian might expect that the weak variance would vanish, being the variance of the nonstochastic Bohmian momenta. In this section we argue against one possible misinterpretation of these quantities: weak values (and their associated weak variances) do not measure the properties of a Bohmian particle.

The *only* hidden variable of a Bohmian particle is position—it does not even have an energy or even a momentum independently of what the mathematical formalism predicts we should measure [22, 30]. This is of course a reflection of the fact that nonposition measurements in Bohmian mechanics are contextual [22]. As such, a measurement of the weak value, although equal to the Bohmian momentum \(\partial _x \mathcal {S}\), is not a measurement of the “particle’s momentum”; similarly, the weak variance does not measure the standard deviation of Bohmian particles’ momentum (both on interpretational and quasistatistical grounds).

With the above caveat in mind, the weak variance allows a deterministic particle interpretation of the ‘semiclassical’ limit \(\mathbb {V}_{p}\left( p|x\right) \rightarrow 0\): such a (localised) Bohmian interpretation has already been shown to apply at postselection points \(x\) where it is at its strongest (particles tunnelling and in the classical limit), and is guaranteed to not apply where the global Bohmian interpretation is known to break down [22, 23, 31, 32] (since \(\mathbb {V}_{p}\left( p|x\right) \rightarrow +\infty \ne 0\) at nodal points). We emphasise that a semiclassically emergent Bohmian ontology is neither supported nor precluded by the absence of a sensible notion of standard deviation for quasidistributions, nor can it be of any instrumental relevance.

## 5 Conclusions

The weak variance can be defined naturally and uniquely in terms of the Wigner function, singled out by insisting on a (quasi)statistical interpretation of quantum phase space. A weak variance does not define the standard deviation of individual realisations of \(p|x\), which may occur with negative probability, but instead describes the system’s state.

The weak variance \(\mathbb {V}_{p}\left( p|x\right) \) contributes to the momentum variance of the uncertainty principle, justifies the ‘ideal gas’ equation of state of the hydrodynamical formalism, and appears to be related to the ground state energy of a few analytically soluble systems. An expression \(\mathrm {Re}({_{x}\hat{p}^2_{\psi }}-{_{x}\hat{p}_{\psi }}^2)\) in terms of weak values was derived, which we used to argue that the weak variance is not itself a weak value.

We show that the sign of the weak variance is predetermined for local extrema of the probability density: \(\mathbb {V}_{p}\left( p|x\right) \) is positive for nodal points and maxima, and negative for non-nodal extrema. We also derive some features that any hypothetical “subquantum theory” (from which quantum mechanics emerges as a thermodynamic limit) must satisfy.

We show that the weak variance is not only consistent with the classical limit, but can be used to derive the classical limit from a variational principle where the expectation of the weak variance controls the emergence of determinism. This construction also shows that the variability \(\mathbb {V}_x(\tilde{p})\) of the weak value cannot exceed the total variance of the state. A semiclassical limit is derived and discussed.

Most importantly, we note that \(\mathbb {V}_{p}\left( p|x\right) \) should be measurable by a number of experimental setups (Sect. 2.3).

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.