SMS versenden: Journal of automated reasoning