Invia SMS: Quantitative rational verification