It is another powerful, visible example of Generalized Abstraction in action