On Approximability of Satisfiable k-CSPs: IV | Synapse