Taking Abstraction One Step Further