SMS versenden: Studying deductive logic/