Abstraction for model