發送短信: Iterated games with LDL goals