Invia SMS: Epistemic logic :