Conjectures and Refutations | Synapse