14The vertical axis label uses 𝔳′ as an alternative notation for what in these notes we designate as v≻(t−1)∂.