SMS versenden: Introduction to logic and theory of knowledge