Title: On retrieval system theory