A theory of presumptions | Synapse