Assertion: boolean algebra's value | /r/CapableOf | compare equal
Facets:
Source sentences:
text: The language guarantees that any two true values will compare equal (which was impossible to achieve before the introduction of the type).