Enviar por SMS: Reasoning About Knowledge