The rules of abstraction