Invia SMS: Reasoning About Knowledge