Invia SMS: Reasoning about Rational Agents