A Convergent Procedure for Convex Programming | Synapse