More work on abstraction