Lec 4: the abstraction ladder (of programming)