The model is clarification from the specification