Completed local space abstraction