SMS versenden: Discovering formal logic