Update abstraction.md