Wir haben hier wesentlich denselben Fall dann wie wenn wir den der verschiedenen Bedeutungen des Wortes ist in ˇden Sätzen “die Rose ist rot” & “2 + 2 = 4”. Damals sagten wir, wir ersetztenc diese Schreibweise durch eine andere.