1 is a kind of Abstaction.