Design and Enforcement of I/M Programs for Maximum Effectiveness