Unifying logic and probability | Synapse