Algebraic dynamics and recursive inequalities | Synapse