SMS versenden: Theory of submodular programs