Define what can happen and what can be done, and the domain becomes executable.