learning-the-language-of-abstraction-3