Towards Abstraction