Title: On retrieval system theory,