Zaslat SMS: Designing greenhouse gas reduction and regulatory systems