Abstraction boundaries are optimization boundaries