“…Being of odd dimension dim P kin − 1, C is also not a phase space. A proper phase space description can be obtained, e.g., through phase space reduction by gauge-fixing [7,30,31,38,58]. Given a choice of clock function T, we may consider the gaugefixing condition T = const, which may be valid only locally on C. Since F f ,T (τ ) is constant along each orbit generated by C H for each value of τ , we do not lose any information about the relational dynamics by restricting to T = const and leaving τ free.…”