A convex programming procedure | Synapse