Abstraction and Tradeoffs