SMS dit: Epistemic logic :