Assertion: class's function | /r/HasAspect | the program counter
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.)