Formula-based learning