Free Proof and Its Detractors | Synapse