Where useful, after defining the use case, data, users and constraints.