This level of detail is mandatory to have a spec that can actually be executed at some point.