Foundations of Probabilistic and Utility-Theoretic Indexing | Synapse