SMS versenden: Learnability of quantified formulas