intuitive principle of abstraction