Approachable Abstraction