Zaslat SMS: Epistemic logic :