Extrapolation via Sawyer-type inequalities | Synapse