Teoria del Patch Ordinato

Appendice T-2: Derivazione della Relatività Generale tramite Gravità Entropica

Anders Jarevåg

31 marzo 2026 | DOI: 10.5281/zenodo.19300777

Compito originale T-2: derivare la relatività generale tramite la gravità entropica Problema: Il preprint descrive la gravità, sul piano concettuale, come “costo di render” attraverso la Coperta di Markov, ma non impiega l’apparato matematico disponibile. Risultato atteso: Una derivazione formale che sostituisca le affermazioni euristiche sulla gravità con il meccanismo matematico esatto di Verlinde.

Stato di chiusura: PARZIALMENTE RISOLTO (corrispondenza strutturale confermata; derivazione formale ancora aperta). Questa appendice stabilisce la mappatura strutturale obiettivo richiesta da T-2. Sostituisce lo schema euristico della gravità nel preprint §7.2 con il meccanismo esatto di Verlinde, riformulato nel linguaggio del codec dell’OPT. Stabilisce corrispondenze forti per l’entropia di render, la legge di Newton e le equazioni di campo di Einstein. Tuttavia, sono necessarie diverse assunzioni di raccordo portanti (l’importazione della formula di Unruh, del funzionale di Einstein-Hilbert e dell’equilibrio ergodico stazionario), il che ne fa una mappatura strutturale piuttosto che una derivazione chiusa.


§1. Entropia di render — Definizione formale

Il concetto informale di costo di render nel §7.2 del preprint è qui formalizzato come entropia di render, fondata sulla legge di area stabilita nel §3.4 tramite l’entropia del taglio predittivo S_{\text{cut}}(A).

1.1 Definizione

Sia A \subset V un patch di osservatore sul grafo del substrato G, con guscio di frontiera \partial_R A. L’entropia di rendering S_{\text{render}}(A, t) è definita formalmente come l’informazione mutua di frontiera tra il patch e l’esterno:

S_{\text{render}}(A, t) := I\!\left(X_{\partial_R A} \,;\, X_{V \setminus A}\right)

Se assumiamo che lo stato latente Z_t agisca come una statistica sufficiente capace di catturare esattamente l’informazione che X_{V \setminus A} rivela su X_{\partial_R A}, postuliamo che questa correlazione di frontiera converga strutturalmente verso l’incertezza condizionale interna del codec: S_{\text{render}}(A, t) \sim H\!\left( X_{\partial_R A} \mid Z_t \right). Il vincolo d’area segue dalla condizione strutturale di schermatura markoviana X_{A^\circ} \perp X_{V \setminus A} \mid X_{\partial_R A} stabilita nel §3.4 (preprint Eq. 7–8):

S_{\text{render}}(A, t) \leq \lvert\partial_R A\rvert \cdot \log q =: S_{\max}(A)

dove q è la cardinalità dell’alfabeto dello spazio degli stati locali e |\partial_R A| è il numero di siti di frontiera. Se il grafo del substrato approssima un reticolo d-dimensionale, |\partial_R A| \sim \text{Area}(\partial A), confermando che S_{\text{render}} è una quantità d’area, non una quantità di volume.

1.2 Densità Entropica Locale del Render

Per un’approssimazione continua (valida a scale molto maggiori della spaziatura del reticolo l_{\text{codec}} = 1/\sqrt{C_{\max}} — osservando che l_{\text{codec}} rimane formalmente non interpretato dimensionalmente come lunghezza spaziale fino all’identificazione esplicita di scala in T-5):

S_{\text{render}}(A) = \int_{\partial A} s(x)\, dA

dove s(x) [bit/area] è la densità entropica locale del render nel punto di frontiera x. In assenza di sorgenti, s(x) = (\log q)/l_{\text{codec}}^2 è uniforme. Una concentrazione locale di carica predittiva (si veda §2) perturba s(x) allontanandolo da questo stato fondamentale, generando il gradiente entropico che guida la forza entropica.

§2. Carica predittiva — L’analogo del Codec di Compressione della massa

Nel quadro di Verlinde, la massa M entra attraverso il teorema di equipartizione applicato allo schermo olografico. L’OPT richiede una controparte in termini di codec che sia definita indipendentemente prima di avanzare qualsiasi affermazione gravitazionale.

2.1 Definizione

La carica predittiva Q_M di una regione sorgente M \subset V è definita formalmente, in modo puramente statico, come l’informazione mutua spaziale tra gli stati interni di M e il confine della Coperta di Markov dell’osservatore nell’arco di un ciclo del codec:

Q_M := I\!\left(X_M \,;\, X_{\partial_R A}\right)

Motiviamo un’analogia con T-1 ponendo Q_M \approx R_{\text{req}}(h, D_{\min} \mid M) \cdot \Delta t. Questa approssimazione richiama esplicitamente una forte e non dimostrata Assunzione di Equilibrio Stazionario Ergodico: il collegamento diretto tra il tasso predittivo temporale (R_{\text{req}} \cdot \Delta t) e la correlazione statica spaziale al confine (I). Le condizioni esatte perché questa uguaglianza valga restano una lacuna formale ancora aperta. Sotto tale approssimazione, Q_M corrisponde concettualmente al numero di bit per ciclo del codec che la sorgente M impone alla rappresentazione di confine dell’osservatore. Questa è la definizione informazionale della massa: non l’inerzia, non la densità di energia in quanto tale, ma il carico predittivo obbligato.

2.2 Proporzionalità alla Massa Inerziale

Per una sorgente macroscopicamente stabile che soddisfa il Filtro di Stabilità, assumiamo una proporzionalità strutturale diretta tra il conteggio di bit di correlazione Q_M e l’energia totale E_M vincolata entro la regione. Per evitare la confusione tra l’informazione mutua statica e i limiti attivi di cancellazione termodinamicamente irreversibile di Landauer, importiamo esplicitamente il limite al contorno che definisce:

E_M = Q_M c_{\text{codec}}^2

La proporzionalità Q_M \propto M — la massa inerziale convenzionale — vale strutturalmente assumendo che la corrispondenza relativistica standard E_M = M c^2 si applichi esternamente. Ciò stabilisce il ponte concettuale dai vincoli informazionali del codec agli equivalenti della fisica standard, rinviati formalmente a un esplicito scalare costante bit-massa \alpha.


§3. Il Dizionario OPT–Verlinde

Prima di introdurre la matematica, rendiamo esplicita la traduzione tra Verlinde (2011) [38] e l’OPT. Questo impedisce che la derivazione erediti assunzioni della gravità entropica standard che l’OPT non ha giustificato.

Verlinde (2011) Controparte OPT Definizione formale nell’OPT
Schermo olografico (area A) Coperta di Markov \partial_R A Confine del patch dell’osservatore; derivato dalla località (§3.4)
Entropia dello schermo S = A/(4G) Entropia di render S_{\text{render}} S_{\text{render}} \leq \lvert\partial_R A\rvert \log q (§1 sopra)
Bit sullo schermo N N = \lvert\partial_R A\rvert \cdot \log q Capacità della rappresentazione di confine in unità di codec
Massa sorgente M carica predittiva Q_M Q_M = I(X_M;\, X_{\partial_R A}) (§2)
Massa di prova m carico del patch di prova m_p Carica predittiva del patch di prova spostato
Equipartizione E = \tfrac{1}{2}Nk_BT E_M = Q_M c_{\text{codec}}^2 = \tfrac{1}{2}N k_B T_{\text{codec}} Identità termodinamica al confine del codec
Temperatura di Unruh T = \hbar a/(2\pi c k_B) Temperatura del codec T_{\text{codec}} T_{\text{codec}} = \hbar_c \kappa / (2\pi k_B) (§4.1)
Forza entropica F = T\,\Delta S/\Delta x Gradiente di inferenza attiva F = -\partial \mathcal{F}[q,\theta]/\partial x (FEP, preprint Eq. 9)
Legge di Newton F = GMm/r^2 F_r = -\lambda m Q_M/(4\pi r^2) Preprint §7.2 Eq. (15); derivata nel §4 sotto
Equazioni di Einstein G_{\mu\nu} = 8\pi G\, T_{\mu\nu} Equazione di curvatura del codec (§5) Emerge dalla relazione di Clausius su S_{\text{render}} (§5)

§4. Derivazione della legge dell’inverso del quadrato di Newton

Eseguiamo l’esatto meccanismo in tre fasi di Verlinde — entropia dello schermo, equipartizione, forza entropica — interamente nel linguaggio del codec dell’OPT.

4.1 Gravità Superficiale del Codec e Temperatura di Frontiera

Consideriamo una Coperta di Markov sferica di raggio r che racchiude una sorgente di carica predittiva Q_M. In ciascun punto di frontiera x \in \partial A, mappiamo strutturalmente il gradiente del potenziale scalare classico sul gradiente entropico uscente, definendo la gravità superficiale del codec:

\kappa(x) := c_{\text{codec}}^2 \cdot \partial_n \log s(x)

dove c_{\text{codec}} è la velocità massima di propagazione causale nel patch renderizzato (identificata con c nel preprint §7.2), e \partial_n è la derivata normale uscente.

Assunzione T-2.A (Profilo entropico radiale). Il profilo di perturbazione entropica di una carica predittiva isotropa Q_M è radialmente simmetrico, con gradiente proporzionale a Q_M/r^2. Ciò è strutturalmente equivalente al gradiente del potenziale newtoniano; viene importato come input strutturale, non derivato dai primitivi dell’OPT. Il successivo recupero della legge di Newton è pertanto una derivazione condizionale dipendente da questa assunzione, non una derivazione chiusa.

Sotto l’Assunzione T-2.A, una sorgente isotropa Q_M all’origine riduce \kappa a:

\kappa = \frac{Q_M c_{\text{codec}}^2}{4\pi r^2 \cdot s_0}

dove s_0 = (\log q)/l_{\text{codec}}^2 è la densità entropica di renderizzazione dello stato fondamentale.

La temperatura di frontiera del codec è:

T_{\text{codec}} = \frac{\hbar_c \,\kappa}{2\pi k_B}

dove \hbar_c = 1/C_{\max} è il quanto minimo di azione informazionale — l’analogo, per il codec, della costante di Planck ridotta.

4.2 Passo 1 — Numero di bit sullo schermo

Per un confine sferico di raggio r con area superficiale 4\pi r^2:

N = \frac{4\pi r^2}{l_{\text{codec}}^2} \cdot \log q = S_{\max}(r)

4.3 Passo 2 — L’equipartizione determina T_{\text{codec}}

Per il teorema di equipartizione applicato agli N modi indipendenti del codec sullo schermo:

Q_M c_{\text{codec}}^2 = \tfrac{1}{2} N k_B T_{\text{codec}}

Risolvendo rispetto alla temperatura:

T_{\text{codec}} = \frac{2 Q_M c_{\text{codec}}^2}{N k_B} = \frac{Q_M c_{\text{codec}}^2 l_{\text{codec}}^2}{2\pi r^2 k_B \log q}

Vincolo di coerenza: Eguagliare questa temperatura di equipartizione con la temperatura di Unruh derivata nel §4.1 (T_{\text{codec}}^{\text{Unruh}} = \frac{\hbar_c Q_M c_{\text{codec}}^2 l_{\text{codec}}^2}{8\pi^2 k_B r^2 \log q}) impone un vincolo formale stringente \hbar_c = 4\pi. Nelle unità naturali del codec adottate nel §4.5 (c_{\text{codec}} = 1), ciò richiede \hbar_c / l_{\text{codec}}^2 = 4\pi. In unità fisiche, questo è equivalente al vincolo su C_{\max} osservato nel §7.2, ed è risolto in T-5.

4.4 Passo 3 — Variazione di Entropia per il Patch di Prova

Un patch di prova con carica predittiva m_p, spostato di \Delta x verso la sorgente, modifica la propria sovrapposizione con la rappresentazione del confine. Qui importiamo esplicitamente la formula dell’effetto Unruh come corrispondenza strutturale al confine del codec:

\Delta S_{\text{render}} = \frac{2\pi k_B m_p c_{\text{codec}}}{\hbar_c} \cdot \Delta x

(Nota: poiché stiamo importando questa formula di simmetria di Lorentz anziché derivarla dal reticolo, la successiva derivazione della forza funge strettamente da verifica di coerenza di questa mappatura.)

4.5 Passo 4 — La Forza Entropica

La formula della forza entropica di Verlinde F = T_{\text{codec}} \cdot \Delta S_{\text{render}}/\Delta x dà:

F = T_{\text{codec}} \cdot \frac{2\pi k_B m_p c_{\text{codec}}}{\hbar_c} = \frac{2 Q_M c_{\text{codec}}^2}{N k_B} \cdot \frac{2\pi k_B m_p c_{\text{codec}}}{\hbar_c} = \frac{4\pi Q_M m_p c_{\text{codec}}^3}{N \hbar_c}

Sostituendo N = 4\pi r^2 \log q / l_{\text{codec}}^2, e sostituendo \hbar_c = l_{\text{codec}}^2 insieme a un parametro esplicito di mappatura della conversione dimensionale da bit a massa \alpha: \alpha è il fattore di conversione da bit a massa con dimensioni [\alpha] = \text{kg}/\text{bit} (in unità SI), da fissare mediante l’identificazione l_{\text{codec}} \to \ell_P in T-5.

\boxed{F_r \propto -\frac{G_{\text{OPT}}\, (\alpha Q_M)\, (\alpha m_p)}{r^2} \qquad \text{with} \quad G_{\text{OPT}} = \frac{c_{\text{codec}}^2}{\log q}}

Ripristinando la notazione del preprint \lambda = G_{\text{OPT}}/(4\pi), ciò si allinea matematicamente con l’Eq. (15) del preprint: F_r = -\lambda m Q_M / (4\pi r^2). La legge dell’inverso del quadrato di Newton viene recuperata come corrispondenza strutturale, a meno del fattore di conversione dimensionale \alpha^2; la sua valutazione esplicita è rinviata a T-5.


§5. Derivazione delle equazioni di campo di Einstein

La legge di Newton (§4) stabilisce il limite statico di campo debole. Per recuperare la relatività generale completa, seguiamo il metodo termodinamico di Jacobson (1995): imponiamo la relazione di Clausius \delta Q = T\,\delta S sull’entropia di rendering per ogni orizzonte locale di tipo Rindler nel codec.

5.1 Impostazione — Orizzonti di Rindler locali nel codec

Consideriamo un qualunque punto p nello spaziotempo renderizzato. La struttura causale del codec definisce un orizzonte di Rindler locale \mathcal{H} — il confine del passato di un osservatore uniformemente accelerato all’interno del codec. Gli ingredienti chiave sono:

5.2 La relazione di Clausius

La relazione di Clausius \delta Q_{\text{pred}} = T_{\text{codec}}\, \delta S_{\text{render}} applicata a ogni orizzonte locale di Rindler dà:

T^{\text{pred}}_{\mu\nu}\, k^\mu k^\nu = \frac{c_{\text{codec}}^3}{4\pi G_{\text{OPT}}\,\hbar_c} \cdot \kappa\, \theta_{\mu\nu} k^\mu k^\nu

dove \theta_{\mu\nu} = \nabla_\mu k_\nu + \nabla_\nu k_\mu è il tensore di espansione della congruenza nulla. Per procedere con Jacobson (1995), dobbiamo assumere che il codec si scali strutturalmente soddisfacendo i limiti proporzionali generici \delta S_{\text{render}} \propto \delta A, che si mappano uniformemente su tutti gli orizzonti locali. Applicando l’equazione di Raychaudhuri, la condizione di energia nulla T^{\text{pred}}_{\mu\nu} k^\mu k^\nu \geq 0, l’integrazione sulla superficie nulla e l’identità di Bianchi contratta:

\boxed{G_{\mu\nu} + \Lambda g_{\mu\nu} \propto \frac{8\pi G_{\text{OPT}}\,\hbar_c}{c_{\text{codec}}^3}\, T^{\text{pred}}_{\mu\nu}}

Sotto il vincolo del coefficiente di Bekenstein-Hawking importato (§5.1) e dell’assunzione di proporzionalità \delta S \propto \delta A, la derivazione di Jacobson produce le equazioni di campo di Einstein nel linguaggio del codec dell’OPT, con costante di accoppiamento 8\pi G_{\text{OPT}}\hbar_c/c_{\text{codec}}^3. La costante cosmologica \Lambda emerge in modo identico come costante di integrazione della mappatura della relazione di Clausius — mappandosi nativamente sulla densità entropica di render dello stato fondamentale s_0 che traccia il codec del vuoto.

Il tensore energia-impulso T^{\text{pred}}_{\mu\nu} è il tensore energia-impulso predittivo: la distribuzione della densità di carica predittiva e del flusso attraverso lo spaziotempo renderizzato. Nel limite newtoniano per materia priva di pressione, T^{\text{pred}}_{00} = Q_M/V e tutte le altre componenti si annullano, recuperando §4.


§6. Curvatura gravitazionale come overflow rate-distortion

Il criterio di chiusura per T-2 richiede una dimostrazione formale che la curvatura gravitazionale sia la resistenza del codec al render di informazione che eccede l’equilibrio rate-distortion. Il §5 fornisce le equazioni di Einstein; questa sezione rende precisa tale identificazione.

6.1 L’Ipotesi di Localizzazione Rate-Distortion

Da T-1, il Filtro di Stabilità impone una soglia condizionale globale al contorno R_{\text{req}}(D_{\min}) \leq B_{\max} = C_{\max} \cdot \Delta t. Le mappature rate-distortion nell’AIT sono formalmente insiemi globali di processi. Definire un vincolo predittivo strettamente locale richiede un’estensione esplicita del formalismo (ad es. medie su sottoinsiemi ergodici spaziali), rinviata formalmente a T-5. Ai fini di questo schema strutturale, trattiamo la curvatura locale come riflesso della densità locale di overflow rate-distortion, con la giustificazione formale rinviata a T-5.

6.2 La curvatura come resistenza del codec — L’identificazione formale

Per mappare rigorosamente il funzionale di vincolo dell’entropia di render su G_{\mu\nu}, costruiamo esplicitamente un’identificazione strutturale formale che corrisponde matematicamente alle azioni gravitazionali fisiche standard, definendo nativamente:

S_{\text{render}}[g] := \frac{1}{4G_{\text{OPT}}}\int R\sqrt{-g}\, d^4x

Questa è una definizione strutturale formalmente importata, che corrisponde esattamente alla mappatura di Bekenstein-Hawking assegnata in modo rigoroso. Non è esplicitamente derivata in senso algebrico direttamente dai vincoli d’area di T-1. Sotto questa definizione, il calcolo variazionale standard fornisce:

\frac{\delta S_{\text{render}}}{\delta g_{\mu\nu}} \propto \left(G_{\mu\nu} + \Lambda g_{\mu\nu}\right)

Le equazioni di campo di Einstein (§5.2) ora si leggono nativamente, in modo identico, come un equilibrio strutturale vincolato in modo ottimale:

\frac{\delta S_{\text{render}}}{\delta g_{\mu\nu}} \propto \frac{1}{2T_{\text{codec}}}\, T^{\text{pred}}_{\mu\nu}

Questo definisce la condizione di render estremale: la configurazione metrica che minimizza il costo entropico del render dato T^{\text{pred}}_{\mu\nu} è esattamente quella che soddisfa le equazioni di Einstein.


Enunciato formale della mappatura di chiusura parziale.

Sotto questa identificazione, il tensore di Einstein G_{\mu\nu} è la derivata metrica del funzionale di entropia di render. Concettualmente, la curvatura codifica la resistenza di secondo ordine del codec alla perturbazione metrica: è elevata dove devono essere allocati bit di frontiera aggiuntivi per accogliere la densità locale di carica predittiva.

§7. Orizzonti degli eventi come punti di saturazione del Codec

Nota: l’analisi seguente tratta R_{\text{req}}(p, D_{\min}) come una quantità locale ben definita; ciò richiede l’Ipotesi di Localizzazione del §6.1 ed è quindi euristica in attesa di T-5.

7.1 La Condizione di Saturazione

Un orizzonte degli eventi si forma dove R_{\text{req}}(p, D_{\min}) = B_{\max} esattamente — il confine al quale il Filtro di Stabilità è saturo. Per una sorgente sfericamente simmetrica di carica predittiva Q_M, ponendo R_{\text{req}}(r_S) = B_{\max} e risolvendo:

r_S = \frac{G_{\text{OPT}}\, Q_M}{c_{\text{codec}}^2}

Questo è il raggio di Schwarzschild nativo dell’OPT. Il risultato standard della relatività generale è r_S = 2GM/c^2, che differisce per un fattore 2. Questa discrepanza di un fattore 2 non è derivata dai primitivi dell’OPT; far coincidere il risultato classico richiederebbe o Q_M = 2M (un’identificazione ad hoc) oppure un trattamento appropriato della geometria in prossimità dell’orizzonte che produca il fattore in modo naturale. Non imponiamo tale corrispondenza; ci limitiamo invece a rilevare il fattore 2 come una discrepanza aperta, che potrebbe essere risolta da un’analisi completa della regione prossima all’orizzonte.

All’interno di r_S, \Delta R(p) > 0 in ogni punto: il codec è in overflow permanente. L’interno di un buco nero è la regione in cui il Filtro di Stabilità fallisce in modo irreversibile — non una localizzazione nello spazio fisico, ma un confine topologico della capacità rappresentazionale del codec.

7.2 La radiazione di Hawking come perdita al confine del codec

All’orizzonte r = r_S, la temperatura del codec con \kappa = c_{\text{codec}}^4/(4G_{\text{OPT}} Q_M) è data da:

T_H = \frac{\hbar_c\, c_{\text{codec}}^4}{8\pi k_B G_{\text{OPT}}\, Q_M}

Ciò riproduce la temperatura standard di Hawking nella sua forma strutturale. L’accordo con il valore fisico richiede \hbar_c c_{\text{codec}}^4/G_{\text{OPT}} = \hbar c^3/G, il che determina C_{\max} in termini di costanti fondamentali — introducendo una tensione con il trattamento di C_{\max} in T-1 come parametro empirico libero. La risoluzione è rinviata a T-5.


§8. Costante cosmologica come costo di render del vuoto

La costante cosmologica \Lambda compare nel §5.2 come costante di integrazione della relazione di Clausius. Lo stato di vuoto del codec non è vuoto: è la configurazione di stato fondamentale dell’entropia di render con densità uniforme s_0 = (\log q)/l_{\text{codec}}^2. La corrispondente tensore energia-impulso predittivo del vuoto è:

T^{\text{vac}}_{\mu\nu} = -\frac{\Lambda\, c_{\text{codec}}^4}{8\pi G_{\text{OPT}}\,\hbar_c}\, g_{\mu\nu}

Nell’OPT, \Lambda > 0 corrisponde a una geometria del codec di de Sitter — lo stato fondamentale del codec è un’espansione accelerata. Qualitativamente, questa è una razionalizzazione strutturale attesa: il Filtro di Stabilità seleziona preferenzialmente configurazioni in cui i rami del Ventaglio Predittivo sono massimamente separati (l’espansione cosmologica aumenta la distanza informazionale tra i rami, riducendo il tasso di ricongiungimento causale accidentale). Questo quadro fornisce una spiegazione qualitativa del segno di \Lambda, sebbene la derivazione dei suoi limiti osservativi quantitativi, straordinariamente piccoli, sia rinviata al recupero delle costanti fisiche in T-5.


§9. Sintesi conclusiva e fronti aperti

Deliverable T-2 — Parzialmente risolti (mappatura strutturale)

  1. Entropia del render formalizzata. S_{\text{render}}(A) definita tramite informazione mutua limitante. Legge d’area confermata; densità locale s(x) definita.

  2. Legge di Newton mappata. F_r = -G_{\text{OPT}} Q_M m / r^2 recuperata tramite il meccanismo di Verlinde, subordinatamente all’importazione dell’ipotesi di bordo di Unruh.

  3. Equazioni di Einstein mappate. G_{\mu\nu} + \Lambda g_{\mu\nu} \propto T^{\text{pred}}_{\mu\nu} si allinea al metodo di Clausius di Jacobson, subordinatamente alle ipotesi di saturazione dell’orizzonte e del funzionale di Einstein-Hilbert.

  4. Criterio di chiusura soddisfatto come mappatura. G_{\mu\nu} \propto \delta S_{\text{render}} / \delta g_{\mu\nu}. La curvatura è identificata strutturalmente con la derivata metrica dell’entropia del render — la resistenza mappata del codec all’overflow rate-distortion. \blacksquare

  5. Orizzonti degli eventi. r_S = G_{\text{OPT}} Q_M / c_{\text{codec}}^2 derivato come punto di saturazione del codec. La temperatura di Hawking è recuperata dalla termodinamica di bordo.

Fronti aperti rimanenti


Questa appendice è mantenuta come parte del repository del progetto OPT insieme a theoretical_roadmap.pdf. Riferimenti: Verlinde (2011) [38], Jacobson (1995), Bekenstein (1981) [40], Almheiri-Dong-Harlow (2015) [42].