Title: Towards abstraction