Assertion: class's function | /r/HasProperty | deterministic
Facets:
Source sentences:
text: Intensional equality implies extensional equality (assuming the functions are deterministic and have no hidden inputs, such as the program counter or a mutable global variable.)