[implements]

“By definition, there is no real number between 0.9r and 1 therefore they are the same” … was how I heard it explained.