Invia SMS: Practical Reasoning About Final Ends/