Deakstadieđáhus: Learnability of quantified formulas