Title: Abstraction, relation and induction