At radius $R$ outside a spherical mass $M$, the Newtonian relative-acceleration tensor has eigenvalues $-g/R,-g/R,2g/R$ with $g=GM/R^2$. It compresses free fall separations tangentially and stretches them radially. The displayed time scale is the inverse square root of the curvature scale controlling this tidal evolution. An ideal circular orbit at that radius has period $2\pi t_{\mathrm{tide}}$, providing a second physical interpretation. For Earth's surface it is about $806$ seconds, while the corresponding ideal low-orbit period is about $84$ minutes. A uniform gravitational acceleration does not determine this relative motion; spatial variation of the field does.

The paraxial image relation for a thin lens. With real-is-positive object and image distances $u$ and $v$ and focal length $f$, it is $1/f=1/u+1/v$. A virtual image has $v<0$ under this convention.

A thin liquid layer whose two reflected beams can interfere. For air on both sides, one surface reflection has a phase reversal; a constructive reflected condition is $2nt\cos r=(j+1/2)\lambda$. Thickness and viewing angle therefore alter the selected colours.

For the leading transport model $H_t+(1+t{)}^{-2}{H}_z=0$, initially dry coating above $z_0$ and matching boundary value $H(z_0,t)=C_0(1+t{)}^{-4/3}$, characteristics preserve $\xi =z+1/(1+t)$. Boundary entry at time $\tau$ gives $F(\xi )=C_0(\xi -z_0{)}^{4/3}$ for $z_0<\xi \le z_0+1$; the remaining initial-data branch is zero. The coated front is $z-z_0=t/(1+t)$. Its final profile is the displayed formula below unit stroke and zero above it. The final scaled film volume is $3C_0/7$, equal to the time-integrated boundary supply. This is a result within the leading transport approximation, not a uniform infinite-time assertion for every finite capillary parameter.

For a symmetric two-dimensional thin drop with uniform evaporative loss $ϵ$, a freely receding contact line and fixed leading outer contact angle $\theta$, quasistatic capillary balance makes the height quadratic. Its volume per transverse length is $2\theta s^2/3$. Since $h_t+(h\overline{u}{)}_x=-ϵ$ and the contact-line flux vanishes, volume loss is $-2ϵs$. On slow time $T=ϵt$, this gives the stated constant recession speed.

Substitute that speed into $h_t$ and integrate flux from the centre, obtaining $h\overline{u}=-ϵx(s^2-x^2)/(4s^2)$. Division by height gives the displayed inward velocity. With a pinned width instead, the same uniform-loss model gives ${\theta }_t=-3ϵ/s$ and outward velocity $\overline{u}=ϵx/(s\theta )$. Thus the contact-line assumption alone reverses solute transport. A pinned perimeter can produce a coffee-ring effect; the receding fixed-angle outer model predicts central transport instead. A strictly no-slip sharp moving contact line is singular, so the finite outer angle is a leading quasistatic approximation requiring microscopic regularization at finite speed.

A thin liquid layer extending ahead of a thicker drop can replace a sharp zero-height contact line in a continuum film model. Keeping the height positive avoids the zero-mobility singularity of a purely no-slip $h^3$ lubrication law at the apparent contact edge. Additional microscopic surface interactions usually determine its thickness and matching to the macroscopic apparent contact angle. It is one possible contact-line regularization, rather than a universal assumption for every substrate.

A thermometer using differential thermal expansion of a liquid and its glass container to move a column through a calibrated capillary.

For an ideal gas with specific internal energy $c_{v}T$ and Fourier's law heat flux $\mathbf{q}=-k\nabla T$, subtraction of the kinetic-energy balance from total energy gives $\rho c_{v}DT/Dt+p\nabla \cdot \mathbf{u}=\nabla \cdot (k\nabla T)$. The thermodynamic entropy satisfies $TDS/Dt=c_{v}DT/Dt+p\nabla \cdot \mathbf{u}/\rho$, soThe divergence describes entropy transport by heat; the final term is local irreversible production. For $T>0$ and $k\ge 0$ it is nonnegative. In a fixed impermeable thermally insulated container, boundary entropy flux vanishes and mass conservation gives $d\int \rho SdV/dt=\int k|\nabla T{|}^2/T^{2}dV$. Insulation conserves total energy while permitting entropy to increase as temperature gradients relax.

In a model of the axioms for the theory of successor, repeatedly taking successor and predecessor partitions the domain into components. Injectivity and the predecessor axiom leave only the zero-generated one-sided chain and two-sided chains; the no-cycle axioms exclude finite components. Choosing one origin in each remaining component gives the displayed structure.

These axioms have quantifier elimination. To eliminate one existential quantification, put its quantifier-free matrix in disjunctive normal form. In a conjunction, an equality between a successor iterate of the bound variable and a parameter term fixes at most one candidate, by injectivity. Existence of the finitely many necessary predecessors excludes only finitely many initial zero iterates; the other equalities and inequalities then translate to conditions on the parameters by cancellation of successor iterates. If there is no such fixing equality, only finitely many candidates are excluded, so some point on the infinite zero chain works. Equalities between two different iterates of the same variable are false by absence of cycles. Thus the existential formula reduces to a quantifier-free formula.

Every closed quantifier-free sentence is decided by the distinct zero iterates, proving completeness. A one-variable formula over the empty set is a Boolean combination of finitely many equalities $x=s^n(0)$, modulo this theory. All points in added integer chains therefore realize the same nonisolated complete type over the empty set. At an uncountable cardinal $\kappa$ a model has exactly $\kappa$ integer components, proving categoricity there. A countable model with infinitely many integer components is an omega-saturated model because finite parameters involve only finitely many components, leaving a fresh one for every new-component type.

The source of the seeds from which cocoa butter is expressed.

The orientation-preserving symmetries of a regular tetrahedron form the alternating group on its four vertices. There are twelve elements: the identity, eight rotational symmetries of order three, and three half-turns.

A contravariant vector has coordinate components obeying the displayed transformation law. A tangent vector to a parametrized curve provides the basic example: the chain rule transforms $d{x}^a/ds$ in precisely this way. Pairing it with a covector produces a coordinate-independent scalar. Conversely, if an array pairs invariantly with every contravariant vector, coefficient comparison forces the covector transformation law for that array.

The quadriceps tendon transmits force from the quadriceps femoris to the patella. The distal patellar ligament continues the chain to the tibia. This arrangement lets the patella alter the leverage of the knee-extension apparatus.

The popliteus tendon connects the popliteus muscle to its femoral attachment and has close relations to the lateral knee structures. Its course helps explain the muscle’s role in controlling rotation near the extended knee. Tendon continuity and joint-cavity relations are separate anatomical questions.

The linear temporal logic operator $X\alpha$, true at position $i$ of a path in a transition system exactly when $\alpha$ is true at position $i+1$. Thus $XX\alpha$ tests two positions ahead.

In linear temporal logic, $\alpha \mathrm{U}\beta$ holds at position $i$ exactly when some $j\ge i$ satisfies $\beta$ and every position $k$ with $i\le k<j$ satisfies $\alpha$. The witness $j$ must exist. The case $j=i$ imposes no condition on $\alpha$.

In linear temporal logic, $\alpha \mathrm{W}\beta$ means $(\alpha \mathrm{U}\beta )\vee G\alpha$. Thus it permits the left operand to hold forever without the right operand ever becoming true, unlike strong until.

An instrument for estimating high temperatures. The physical response and calibration must be specified; thermal expansion, a calorimetric transfer, electrical properties and emitted radiation lead to different methods and different limitations.

An average of a specified temperature record over a stated interval or ensemble. For a time mean, observations must represent elapsed durations: irregularly spaced readings generally require time weighting. The half-sum of a daily maximum and minimum is a conventional daily statistic and need not equal the continuous time mean.

Substitution of acyclic concept definitions into expressions to be tested. Primitive inclusions require care: $A⊑D$ can be represented using a fresh name $A_0$ by $A\equiv A_0\sqcap D$, but is not equivalent to $A\equiv D$.