 But what is to stop us freely stipulating, in accordance with the principle of tolerance, ‘bridge principles’ for operators which proof-theoretically behave like numerical operators— ‘the number of \(\phi\)’s’—via their definitional occurrence in formulations of arithmetic axioms and where the bridge principles include the likes of: