Intermediate pure mathematics