“…(i) a Dirac quantization scheme, wherein relational observables are constructed that encode correlations between evolving and clock degrees of freedom [1,2,4,, (ii) the Page-Wootters formalism, which defines a relational dynamics in terms of conditional probabilities for clock and evolving degrees of freedom [7,25,[39][40][41][42][43][44][45][46][47][48][49][50][51][52][53][54][55][56][57], and (iii) classical or quantum deparametrizations, which result in a reduced quantum theory that only treats the evolving degrees of freedom as quantum [1,2,7,10,30,31,[58][59][60][61][62][63][64][65].…”