A Logic for Uncertain Probabilities | Synapse