Law of abstraction