Title: on retrieval system theory