Program Abstraction Today