>>8
>>9
0.9999~ < 1 formally.
Yet 1 - 0.999999~ = 0.00000~ = 0 thus 0.9999~ = 1 empirically.
Thus, maths fails as a sound model, but succeeds as a pragmatic one.
That's why so many maths geeks hate philosophy at first, until they study it and realize so much of it defines the strength of cases like this.