Rules for Abstraction