Hard cases and theoretical disagreements | Synapse