Figure: The main model abstractions