A bit of model abstraction