[Specification of the Model]