Zaslat SMS: Practical Reasoning About Final Ends/