Sensitive Abstraction