The language guarantees that any two true values will compare equal (which was impossible to achieve before the introduction of the type).
Језик гарантује да ће било које две тачне вредности упоредити једнако (што је било немогуће постићи пре увођења овог типа).