abstraction levels lecture 3 6281315