Zaslat SMS: Iterated games with LDL goals