Conventionalism in general relativity?: formal existence proofs and Reichenbach's theorem θ in context - Ruward Mulder (2026)