*UPDATE*
Good news! I've figured out that there's one minimal requirement less.
We don't need this one:
Quote:
|
3. a way to search for a particular entity
|
I have just discovered that it can be emulated. In fact we only need to be able to bind an arbitrary entity by number. The entity comparison/search routines we'll use can be all written later by ourselves.