2.4.5 Abstraction with Localities